recipe process occurrence
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProcessOccurrence
Defined In: https://spec.industrialontologies.org/ontology/biopharma/RecipeProcessOccurrenceClassificationUtility/
SubClass Of: recipe process element occurrence
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › recipe process element occurrence › recipe process occurrence
Definition
planned process that is prescribed by some recipe process
Semi-Formal Definition:
every instance of ‘recipe process occurrence’ is exactly an instance of ‘recipe process element occurrence’ that ‘is prescribed by’ some ‘recipe process’
Usage Notes
This class is intended to be a defined class used for axiomatization and assertion convenience. It is not expected nor recommended that entities will be asserted directly as a subclass or instance of this class.
Examples
- see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
Formal Axioms
First-Order Logic Definition
RecipeProcessOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcess(y) ∧ prescribedBy(x, y))
Description Logic
constr:RecipeProcessOccurrence ≡ constr:RecipeProcessElementOccurrence ⊓ ∃ constr:prescribedBy .constr:RecipeProcess
constr:RecipeProcessOccurrence ⊑ constr:RecipeProcessElementOccurrence
EquivalentTo: constr:RecipeProcessElementOccurrence and constr:prescribedBy some constr:RecipeProcess
SubClassOf: constr:RecipeProcessElementOccurrence
Provenance
- Moved from
BiopharmaManufacturingExecution(https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution/) on 2026-05-14T12:41:00