recipe unit procedure
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeUnitProcedure
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 unit procedure
Definition
recipe procedural element that has a partially ordered set of recipe operations as its part and that prescribes one or more alternative physical units with compatible capabilities
Semi-Formal Definition:
every instance of ‘recipe unit procedure’ is exactly a ‘recipe procedural element’ that ‘has continuant part at all times’ some ‘recipe operation’, and ‘has continuant part at all times’ some ‘information content entity’ that either ‘denotes’ a ‘physical unit’ or ‘prescribes’ either a ‘physical unit’ or a ‘manufacturing capability’ that is a ‘capability of’ a ‘physical unit’
Explanatory Notes
1) From ISA-88 Part 1 Section 3: A strategy for carrying out a contiguous process within a unit, consisting of contiguous operations and the algorithm necessary for the initiation, organization, and control of those operations. 2) From ISA-88 Part 1 Section 5: A unit procedure consists of an ordered set of operations that causes a contiguous production sequence to take place within a unit.
Examples
- A ‘Vinyl chloride monomer polymerization unit procedure’, which comprises the following recipe operations: ‘Setup operation’, followed by ‘Charge water, additives and monomer operation’, followed by a ‘Polymerization operation’, followed by a ‘Post-polymerization operation’. This unit procedure can be carried out in any of the Reactors JR-101/JR-102/JR-103/JR-104 (Stainless steel, 1,000-gallon, rated 100 psia, mechanical agitator, with temperature and pressure control systems, nitrogen purge system, pressure relief system with a Rupture disc)
Adapted From
- ISA-88 Part 1
Formal Axioms
First-Order Logic Definition
RecipeUnitProcedure(x) ↔ RecipeProceduralElement(x) ∧ ∃o(RecipeOperation(o) ∧ hasContinuantPartAtAllTimes(x, o)) ∧ ∃z(PhysicalUnit(z) ∧ ∃y(InformationContentEntity(y) ∧ hasContinuantPartAtAllTimes(x, y) ∧ (denotes(y, z) ∨ prescribes(y, z) ∨ ∃c(ManufacturingCapability(c) ∧ capabilityOf(c, z) ∧ prescribes(y, c)))))
First-Order Logic Axioms
RecipeUnitProcedure(x) → RecipeProceduralElement(x) ∧ ∀y (hasContinuantPartAtSomeTime(x, y) → ¬RecipeProcedure(y)) ∧ ∀z (hasProperContinuantPartAtSomeTime(x, z) → ¬RecipeUnitProcedure(z))
Semi-Formal Natural Language Axioms
if x is a ‘recipe unit procedure’, then x is a ‘recipe procedural element’, x ‘has continuant part at some time’ only entities that are not a ‘recipe procedure’, and x ‘has proper continuant part at some time’ only entities that are not a ‘recipe unit procedure’
Description Logic
constr:RecipeUnitProcedure ≡ 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:RecipeOperation ⊓ ∃ bfo:continuant_part_of_at_all_times .constr:RecipeProcedure
constr:RecipeUnitProcedure ⊑ constr:RecipeProceduralElement
constr:RecipeUnitProcedure ⊑ ∀ bfo:has_continuant_part .¬ constr:RecipeProcedure
constr:RecipeUnitProcedure ⊑ ∀ bfo:has_proper_continuant_part_at_some_time .¬ constr:RecipeUnitProcedure
constr:RecipeUnitProcedure ⊓ constr:RecipeOperation ⊑ ⊥
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:RecipeOperation and bfo:continuant_part_of_at_all_times some constr:RecipeProcedure
SubClassOf: constr:RecipeProceduralElement
SubClassOf: bfo:has_continuant_part only not constr:RecipeProcedure
SubClassOf: bfo:has_proper_continuant_part_at_some_time only not constr:RecipeUnitProcedure
constr:RecipeUnitProcedure DisjointWith: (constr:RecipeOperation, constr:RecipePhase, constr:RecipeProcedure)