recipe process occurrence

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

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

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 action 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 as a subclass 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) ∧ isPrescribedBy(x, y))

Description Logic

constr:RecipeProcessOccurrence ≡ constr:RecipeProcessElementOccurrence ⊓ ∃ constr:prescribedBy .constr:RecipeProcess

constr:RecipeProcessOccurrence ⊑ constr:RecipeProcessElementOccurrence

constr:RecipeProcessOccurrence ⊑ ∃ bfo:has_occurrent_part .constr:RecipeProcessStageOccurrence

EquivalentTo: constr:RecipeProcessElementOccurrence and constr:prescribedBy some constr:RecipeProcess

SubClassOf: constr:RecipeProcessElementOccurrence

SubClassOf: bfo:has_occurrent_part some constr:RecipeProcessStageOccurrence