recipe process
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProcess
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Recipe/
SubClass Of: recipe process element
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › recipe process element › recipe process
Definition
recipe process element that has a partially ordered set of recipe process stages as its part
Explanatory Notes
The definition given in ISA-88 Part 1 Sections 3 and 4 — “a sequence of chemical, physical, or biological activities for the conversion, transport, or storage of material or energy” — more accurately corresponds to the planned process that the recipe process prescribes. IOF follows the BFO distinction between plans and processes; accordingly, the natural language definition provided here focuses on the recipe structure — specifically, the partial ordering of its constituent elements. This reflects the recipe as a plan specification rather than describing the execution it prescribes. The ISA definition has been retained here for reference and traceability to the source specification.
Examples
- A ‘PVC granular resin production process’, which comprises a ‘Vinyl chloride monomer polymerization stage’, a ‘Water Separation stage’, and a ‘Drying stage’
Adapted From
- ISA-88 Part 1
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are currently insufficient constructs to represent a partially ordered set.
Formal Axioms
First-Order Logic Axioms
RecipeProcess(x) → RecipeProcessElement(x) ∧ ∃y (hasContinuantPartAtAllTimes(x, y) ∧ RecipeProcessStage(y)) ∧ ∀z (hasProperContinuantPartAtSomeTime(x, z) → ¬RecipeProcess(z))
Semi-Formal Natural Language Axioms
if x is a ‘recipe process’, then x is a ‘recipe process element’, x ‘has continuant part at all times’ some ‘recipe process stage’, and x ‘has proper continuant part at some time’ only entities that are not a ‘recipe process
Description Logic
constr:RecipeProcess ⊑ constr:RecipeProcessElement
constr:RecipeProcess ⊑ ∀ bfo:has_proper_continuant_part_at_some_time .¬ constr:RecipeProcess
constr:RecipeProcess ⊑ ∃ bfo:has_continuant_part_at_all_times .constr:RecipeProcessStage
constr:RecipeProcess ⊓ constr:RecipeProcessAction ⊑ ⊥
SubClassOf: constr:RecipeProcessElement
SubClassOf: bfo:has_proper_continuant_part_at_some_time only not constr:RecipeProcess
SubClassOf: bfo:has_continuant_part_at_all_times some constr:RecipeProcessStage
constr:RecipeProcess DisjointWith: (constr:RecipeProcessAction, constr:RecipeProcessOperation, constr:RecipeProcessStage)