recipe procedure occurrence

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

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 procedure occurrence

Definition

planned process that is prescribed by some recipe procedure

Semi-Formal Definition:

every instance of ‘recipe procedure occurrence’ is exactly an instance of ‘recipe procedural element occurrence’ that ‘is prescribed by’ some ‘recipe 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

RecipeProcedureOccurrence(x) ↔ RecipeProceduralElementOccurrence(x) ∧ ∃y (RecipeProcedure(y) ∧ prescribedBy(x, y))

Description Logic

constr:RecipeProcedureOccurrence ≡ constr:RecipeProceduralElementOccurrence ⊓ ∃ constr:prescribedBy .constr:RecipeProcedure

constr:RecipeProcedureOccurrence ⊑ constr:RecipeProceduralElementOccurrence

EquivalentTo: constr:RecipeProceduralElementOccurrence and constr:prescribedBy some constr:RecipeProcedure

SubClassOf: constr:RecipeProceduralElementOccurrence