achieves at some time

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

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

Type: Object Property

SubProperty Of: bfo:concretizes

Domain: bfo:process

Range: information content entity

Inverse Of: is achieved by at some time

Definition

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

Examples

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

Formal Axioms

First-Order Logic Axioms

achievesAtSomeTime(x,y) → Process(x) ∧ InformationContentEntity(y) ∧ (concretizesAtSomeTime(x,y) ∨ ∃z(continuantPartOfAtAllTimes(z,y) ∧ InformationContentEntity(z) ∧ concretizesAtSomeTime(x,z)))

Semi-Formal Natural Language Axioms

x achieves at some time y holds when x is a ‘process’ and y is an ‘information content entity’ and x ‘concretizes at some time’ y or a ‘continuant part of at all times’ y

Description Logic

constr:achievesAtSomeTime ⊑ bfo:concretizes

domain: bfo:process

range: constr:InformationContentEntity

inverse: constr:isAchievedByAtSomeTime

SubPropertyOf: bfo:concretizes

domain: bfo:process

range: constr:InformationContentEntity

inverse: constr:isAchievedByAtSomeTime