has post-condition
IRI: https://spec.industrialontologies.org/ontology/core/Core/hasPostCondition
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
Type: Object Property
SubProperty Of: bfo:has continuant part at all times
Range: material state specification
Definition
relation between an action specification or plan specification and a material state specification such that every material state prescribed by the material state specification holds in a post-state of every process or event prescribed by the action specification or plan specification
Examples
- a mixing specification has post-condition a material state specification specifying that the material is homogeneous; a cleaning specification has post-condition a material state specification specifying that the equipment is clean; a filling specification has post-condition a material state specification specifying that the receiving container is filled to the specified level; a thawing specification has post-condition a material state specification specifying that the material is completely thawed; a valve-opening specification has post-condition a material state specification specifying that the valve is open
Formal Axioms
First-Order Logic Axioms
∀p,d,o,m((hasPostCondition(p,d) ∧ prescribes(p,o) ∧ prescribes(d,m)) → ∃m'(hasPostMaterialState(o,m') ∧ holdsIn(m,m')))
Semi-Formal Natural Language Axioms
if p ‘has post condition’ d, p ‘prescribes’ o, and d ‘prescribes’ m, then o ‘has post material state’ some m’ in which m ‘holds in’
Description Logic
_:hasPostCondition ⊑ bfo:has_continuant_part_at_all_times
domain: constr:ActionSpecification ⊔ constr:PlanSpecification
SubPropertyOf: bfo:has_continuant_part_at_all_times
domain: constr:ActionSpecification or constr:PlanSpecification