recipe process operation occurrence

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

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

Definition

planned process that is prescribed by some recipe process operation

Semi-Formal Definition:

every instance of ‘recipe process operation occurrence’ is exactly an instance of ‘recipe process element occurrence’ that ‘is prescribed by’ some ‘recipe process operation’

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

RecipeProcessOperationOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcessOperation(y) ∧ isPrescribedBy(x, y))

Description Logic

constr:RecipeProcessOperationOccurrence ≡ constr:RecipeProcessElementOccurrence ⊓ ∃ constr:prescribedBy .constr:RecipeProcessOperation

constr:RecipeProcessOperationOccurrence ⊑ constr:RecipeProcessElementOccurrence

constr:RecipeProcessOperationOccurrence ⊑ ∃ bfo:has_occurrent_part .constr:RecipeProcessActionOccurrence

EquivalentTo: constr:RecipeProcessElementOccurrence and constr:prescribedBy some constr:RecipeProcessOperation

SubClassOf: constr:RecipeProcessElementOccurrence

SubClassOf: bfo:has_occurrent_part some constr:RecipeProcessActionOccurrence