recipe procedural element occurrence

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

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

SubClass Of: planned process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › recipe procedural element occurrence

Direct subclasses:

• recipe operation occurrence
• recipe phase occurrence
• recipe procedure occurrence
• recipe unit procedure occurrence

Definition

planned process that is prescribed by some recipe procedural element

Semi-Formal Definition:

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

Usage Notes

This class is intended as a defined utility class for axiomatization and assertion convenience. Other than ontology-defined subclasses created to represent recipe procedural occurrence classes, it must not be subclassed directly.

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

RecipeProceduralElementOccurrence(x) ↔ PlannedProcess(x) ∧ ∃y (RecipeProceduralElement(y) ∧ prescribedBy(x, y))

Description Logic

constr:RecipeProceduralElementOccurrence ≡ constr:PlannedProcess ⊓ ∃ constr:prescribedBy .constr:RecipeProceduralElement

constr:RecipeProceduralElementOccurrence ⊑ constr:PlannedProcess

EquivalentTo: constr:PlannedProcess and constr:prescribedBy some constr:RecipeProceduralElement

SubClassOf: constr:PlannedProcess