recipe operation
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeOperation
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Recipe/
SubClass Of: recipe procedural element
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › recipe procedural element › recipe operation
Definition
recipe procedural element that has a partially ordered set of recipe phases as its part and that prescribes one or more alternative physical units with compatible capabilities
Semi-Formal Definition:
every instance of ‘recipe operation’ is exactly a ‘recipe procedural element’ that ‘has continuant part at all times’ some ‘recipe phase’, is a’ continuant part at all times’ some ‘recipe unit procedure’, and has ‘continuant part at all times’ some ‘information content entity’ that either ‘denotes’ a ‘physical unit’ or ‘prescribes’ either the ‘physical unit’ or a ‘manufacturing capability’ that is a ‘capability of’ a ‘physical unit’
Explanatory Notes
1) From ISA-88 (1995) Part 1 Section 3, a procedural element defining an independent processing activity consisting of the algorithm necessary for the initiation, organization, and control of phases. 2)From ISA-88 (2010) Part 1 Section 5.1, an operation is an ordered set of phases that defines a major processing sequence that takes the material being processed from one state to another, usually involving a chemical, physical, biologoical change
Examples
- A ‘Setup operation’, which is part of a ‘‘Vinyl chloride monomer polymerization unit procedure’ and that can take place in jacketed reactor JR-101/JR-102/JR-103, has the following set of recipe phases: ‘Inspect reactor cleaning conditions phase’, ‘Test agitation system phase’, ‘Calibrate temperature control system phase’, ‘Test pressure relief system phase’, and ‘Prepare Nitrogen purge system phase’.
Synonyms
- unit operation
Formal Axioms
First-Order Logic Definition
RecipeOperation(x) ↔ RecipeProceduralElement(x) ∧ ∃p(RecipePhase(p) ∧ hasContinuantPartAtAllTimes(x, p)) ∧ ∃u(RecipeUnitProcedure(u) ∧ continuantPartOfAtAllTimes(x, u)) ∧ ∃z(PhysicalUnit(z) ∧ (∃y(InformationContentEntity(y) ∧ hasContinuantPartAtAllTimes(x, y) ∧ (denotes(y, z) ∨ ∃c(ManufacturingCapability(c) ∧ capabilityOf(c, z) ∧ prescribes(y, c)) ∨ prescribes(y, z)))))
First-Order Logic Axioms
RecipeOperation(x) → RecipeProceduralElement(x) ∧ ∀y (hasContinuantPartAtSomeTime(x, y) → ¬(RecipeProcedure(y) ∨ RecipeUnitProcedure(y))) ∧ ∀z (hasProperContinuantPartAtSomeTime(x, z) → ¬RecipeOperation(z))
Semi-Formal Natural Language Axioms
if x is a ‘recipe operation’, then x is a ‘recipe procedural element’, x ‘has continuant part at some time’ only entities that are not a ‘recipe procedure’ or ‘recipe unit procedure’, and x ‘has proper continuant part at some time’ only entities that are not a ‘recipe operation
Description Logic
constr:RecipeOperation ≡ constr:RecipeProceduralElement ⊓ (∃ bfo:has_continuant_part_at_all_times .(constr:InformationContentEntity ⊓ ∃ constr:denotes .constr:PhysicalUnit) ⊔ ∃ bfo:has_continuant_part_at_all_times .(constr:InformationContentEntity ⊓ ∃ constr:prescribes .(constr:PhysicalUnit ⊔ (constr:ManufacturingCapability ⊓ ∃ constr:capabilityOf .constr:PhysicalUnit)))) ⊓ ∃ bfo:has_continuant_part_at_all_times .constr:RecipePhase ⊓ ∃ bfo:continuant_part_of_at_all_times .constr:RecipeUnitProcedure
constr:RecipeOperation ⊑ constr:RecipeProceduralElement
constr:RecipeOperation ⊑ ∀ bfo:has_proper_continuant_part_at_some_time .¬ constr:RecipeOperation
constr:RecipeOperation ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:RecipeProcedure ⊔ constr:RecipeUnitProcedure
constr:RecipeOperation ⊓ constr:RecipePhase ⊑ ⊥
EquivalentTo: constr:RecipeProceduralElement and (bfo:has_continuant_part_at_all_times some (constr:InformationContentEntity and constr:denotes some constr:PhysicalUnit) or bfo:has_continuant_part_at_all_times some (constr:InformationContentEntity and constr:prescribes some (constr:PhysicalUnit or (constr:ManufacturingCapability and constr:capabilityOf some constr:PhysicalUnit)))) and bfo:has_continuant_part_at_all_times some constr:RecipePhase and bfo:continuant_part_of_at_all_times some constr:RecipeUnitProcedure
SubClassOf: constr:RecipeProceduralElement
SubClassOf: bfo:has_proper_continuant_part_at_some_time only not constr:RecipeOperation
SubClassOf: bfo:has_continuant_part_at_some_time only not (constr:RecipeProcedure or constr:RecipeUnitProcedure)
constr:RecipeOperation DisjointWith: (constr:RecipePhase, constr:RecipeProcedure, constr:RecipeUnitProcedure)