recipe process operation
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProcessOperation
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 operation
Definition
recipe process element that has a partially ordered set of recipe process actions as its part
Explanatory Notes
1) ISA Part 1 Section 3: A major processing activity that usually results in a chemical or physical change in the material being processed and that is defined without consideration of the actual target equipment configuration. 2) ISA Part 1 Section 4: Process operations represent major processing activities. A process operation usually results in a chemical or physical change in the material being processed.
Examples
- A ‘Setup process operation’, which is part of a ‘Vinyl chloride monomer polymerization stage’, has the following set of recipe process actions: ‘Inspect reactor cleaning conditions’, ‘Test agitation system’, ‘Calibrate temperature control system’, ‘Test pressure relief system’, and ‘Prepare Nitrogen purge system’.
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
RecipeProcessOperation(x) → RecipeProcessElement(x) ∧ ∃y (hasContinuantPartAtAllTimes(x, y) ∧ RecipeProcessAction(y)) ∧ ∀z (hasContinuantPartAtSomeTime(x, z) → ¬(RecipeProcess(z) ∨ RecipeProcessStage(z))) ∧ ∀w (hasProperContinuantPartAtSomeTime(x, w) → ¬RecipeProcessOperation(w))
Semi-Formal Natural Language Axioms
if x is a ‘recipe process operation’, then x is a ‘recipe process element’, x ‘has continuant part at all times’ some ‘recipe process action’, x ‘has continuant part at some time’ only entities that are not a ‘recipe process’ or ‘recipe process stage’, and x ‘has proper continuant part at some time’ only entities that are not a ‘recipe process operation’
Description Logic
constr:RecipeProcessOperation ⊑ constr:RecipeProcessElement
constr:RecipeProcessOperation ⊑ ∀ bfo:has_proper_continuant_part_at_some_time .¬ constr:RecipeProcessOperation
constr:RecipeProcessOperation ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:RecipeProcess ⊔ constr:RecipeProcessStage
constr:RecipeProcessOperation ⊑ ∃ bfo:has_continuant_part_at_all_times .constr:RecipeProcessAction
constr:RecipeProcessOperation ⊓ constr:RecipeProcess ⊑ ⊥
constr:RecipeProcessOperation ⊓ constr:RecipeProcessAction ⊑ ⊥
constr:RecipeProcessOperation ⊓ constr:RecipeProcessStage ⊑ ⊥
SubClassOf: constr:RecipeProcessElement
SubClassOf: bfo:has_proper_continuant_part_at_some_time only not constr:RecipeProcessOperation
SubClassOf: bfo:has_continuant_part_at_some_time only not (constr:RecipeProcess or constr:RecipeProcessStage)
SubClassOf: bfo:has_continuant_part_at_all_times some constr:RecipeProcessAction
constr:RecipeProcessOperation DisjointWith: (constr:RecipeProcess, constr:RecipeProcessAction, constr:RecipeProcessStage)