recipe process stage occurrence

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

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

Definition

planned process that is prescribed by some recipe process stage

Semi-Formal Definition:

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

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

RecipeProcessStageOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcessStage(y) ∧ isPrescribedBy(x, y))

Description Logic

constr:RecipeProcessStageOccurrence ≡ constr:RecipeProcessElementOccurrence ⊓ ∃ constr:prescribedBy .constr:RecipeProcessStage

constr:RecipeProcessStageOccurrence ⊑ constr:RecipeProcessElementOccurrence

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

EquivalentTo: constr:RecipeProcessElementOccurrence and constr:prescribedBy some constr:RecipeProcessStage

SubClassOf: constr:RecipeProcessElementOccurrence

SubClassOf: bfo:has_occurrent_part some constr:RecipeProcessOperationOccurrence