is achieved by at some time

IRI: https://spec.industrialontologies.org/ontology/construct/isAchievedByAtSomeTime

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

SubProperty Of: bfo:is concretized by

Domain: information content entity

Range: bfo:process

Inverse Of: achieves at some time

Definition

relation from an information content entity to a process that partially or fully concretizes the information content entity

Examples

• The company plan of satisfying a surge in demand for its products is achieved by the staffing and ramping up of production to 2 shifts per work day.

Formal Axioms

First-Order Logic Axioms

isAchievedByAtSomeTime(y,x) → Process(x) ∧ InformationContentEntity(y) ∧ (concretizesAtSomeTime(x,y) ∨ ∃z(continuantPartOf(z,y) ∧ InformationContentEntity(z) ∧ concretizesAtSomeTime(x,z)))

Semi-Formal Natural Language Axioms

y is achieved by at some time x holds when x is a ‘process’ and y is an ‘information content entity’ and x ‘concretizes’ y or a ‘continuant part of’ y, at some time t

Description Logic

constr:isAchievedByAtSomeTime ⊑ bfo:is_concretized_by

domain: constr:InformationContentEntity

range: bfo:process

inverse: constr:achievesAtSomeTime

SubPropertyOf: bfo:is_concretized_by

domain: constr:InformationContentEntity

range: bfo:process

inverse: constr:achievesAtSomeTime