recipe process stage
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProcessStage
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 stage
Definition
recipe process element that has an partially ordered set of recipe process operations as its part
Explanatory Notes
1) ISA-88 Part 1 Section 3: A part of a process that usually operates independently from other process stages and usually results in a planned sequence of chemical or physical changes in the material being processed. 2) ISA-88 Part 1 Section 4: The process consists of one or more process stages which are organized as an ordered set, which can be serial, parallel, or both. A process stage is a part of a process that usually operates independently from other process stages. It usually results in a planned sequence of chemical or physical changes in the material being processed
Examples
- A ‘Vinyl chloride monomer polymerization stage’, which comprises a ‘Setup process operation’, followed by a ‘Charge water, additives and monomer process operation’, followed by a ‘Polymerization process operation’, finishing with a ‘Post-polymerization process operation’.
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
RecipeProcessStage(x) → RecipeProcessElement(x) ∧ ∃y (hasContinuantPartAtAllTimes(x, y) ∧ RecipeProcessOperation(y)) ∧ ∀z (hasContinuantPartAtSomeTime(x, z) → ¬RecipeProcess(z)) ∧ ∀w (hasProperContinuantPartAtSomeTime(x, w) → ¬RecipeProcessStage(w))
Semi-Formal Natural Language Axioms
if x is a ‘recipe process stage’, then x is a ‘recipe process element’, x ‘has continuant part at all times’ some ‘recipe process operation’, x ‘has continuant part at some time’ only entities that are not a ‘recipe process’, and x ‘has proper continuant part at some time’ only entities that are not a ‘recipe process stage’
Description Logic
constr:RecipeProcessStage ⊑ constr:RecipeProcessElement
constr:RecipeProcessStage ⊑ ∀ bfo:has_continuant_part .¬ constr:RecipeProcess
constr:RecipeProcessStage ⊑ ∀ bfo:has_proper_continuant_part_at_some_time .¬ constr:RecipeProcessStage
constr:RecipeProcessStage ⊑ ∃ bfo:has_continuant_part_at_all_times .constr:RecipeProcessOperation
constr:RecipeProcessStage ⊓ constr:RecipeProcess ⊑ ⊥
constr:RecipeProcessStage ⊓ constr:RecipeProcessAction ⊑ ⊥
constr:RecipeProcessStage ⊓ constr:RecipeProcessOperation ⊑ ⊥
SubClassOf: constr:RecipeProcessElement
SubClassOf: bfo:has_continuant_part only not constr:RecipeProcess
SubClassOf: bfo:has_proper_continuant_part_at_some_time only not constr:RecipeProcessStage
SubClassOf: bfo:has_continuant_part_at_all_times some constr:RecipeProcessOperation
constr:RecipeProcessStage DisjointWith: (constr:RecipeProcess, constr:RecipeProcessAction, constr:RecipeProcessOperation)