has pre-condition
IRI: https://spec.industrialontologies.org/ontology/core/Core/hasPreCondition
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 pre-state of every process or event prescribed by the Action Specification or Plan Specification.
Examples
- a sample-loading specification has pre-condition a material state specification specifying that the chromatography column is equilibrated; an inoculation specification has pre-condition a material state specification specifying that the bioreactor is sterile and the culture medium is at the inoculation temperature
Formal Axioms
First-Order Logic Axioms
∀p,d,o,m((hasPreCondition(p,d) ∧ prescribes(p,o) ∧ prescribes(d,m)) → ∃m'(hasPreMaterialState(o,m') ∧ holdsIn(m,m')))
Semi-Formal Natural Language Axioms
if p ‘has postcondition’ d, p ‘prescribes’ o, and d ‘prescribes’ m, then o ‘has pre material state’ some m’ in which m ‘holds in’
Description Logic
_:hasPreCondition ⊑ 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