recipe process action occurrence

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

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

Definition

planned process that is prescribed by some recipe process action

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 action’

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

RecipeProcessActionOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcessAction(y) ∧ isPrescribedBy(x, y))

Description Logic

constr:RecipeProcessActionOccurrence ≡ constr:RecipeProcessElementOccurrence ⊓ ∃ constr:prescribedBy .constr:RecipeProcessAction

constr:RecipeProcessActionOccurrence ⊑ constr:RecipeProcessElementOccurrence

constr:RecipeProcessActionOccurrence ⊑ ∀ bfo:has_proper_occurrent_part .¬ constr:RecipeProcessActionOccurrence

EquivalentTo: constr:RecipeProcessElementOccurrence and constr:prescribedBy some constr:RecipeProcessAction

SubClassOf: constr:RecipeProcessElementOccurrence

SubClassOf: bfo:has_proper_occurrent_part only not constr:RecipeProcessActionOccurrence