recipe unit procedure occurrence

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

Defined In: https://spec.industrialontologies.org/ontology/biopharma/RecipeProceduralOccurrenceClassificationUtility/

SubClass Of: recipe procedural element occurrence

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › recipe procedural element occurrence › recipe unit procedure occurrence

Definition

planned process that is prescribed by some recipe unit procedure

Semi-Formal Definition:

every instance of ‘recipe unit procedure occurrence’ is exactly an instance of ‘recipe procedural element occurrence’ that ‘is prescribed by’ some ‘recipe unit procedure’

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

RecipeUnitProcedureOccurrence(x) ↔ RecipeProceduralElementOccurrence(x) ∧ ∃y (RecipeUnitProcedure(y) ∧ prescribedBy(x, y))

Description Logic

constr:RecipeUnitProcedureOccurrence ≡ constr:RecipeProceduralElementOccurrence ⊓ ∃ constr:prescribedBy .constr:RecipeUnitProcedure

constr:RecipeUnitProcedureOccurrence ⊑ constr:RecipeProceduralElementOccurrence

EquivalentTo: constr:RecipeProceduralElementOccurrence and constr:prescribedBy some constr:RecipeUnitProcedure

SubClassOf: constr:RecipeProceduralElementOccurrence