physical unit
IRI: https://spec.industrialontologies.org/ontology/construct/PhysicalUnit
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Physical/
SubClass Of: work unit
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › work unit › physical unit
Definition
work unit that carries out an operation or unit procedure
Explanatory Notes
ISA-88: collection of associated equipment modules and/or control modules that can carry out one or more major processing activities In rare cases, a unit can carry out an entire procedure. Since a procedure is associated with process cell, this should be modeled as a process cell having a single unit as its member part and then carrying a procedure.
Examples
- a vessel that can carry out a fermentation; a ribbon blender, double cone blender, or V blender that can perform a variety of blending or mixing operations; an evaporative crystallizer or cooling crystallizer; a spray dryer or tray dryer; a shell and tube heat exchanger; a distillation tower; a fixed-bed catalytic reactor; and a flash unit
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
This term is expected to remain primitive, as identifying a set of necessary conditions that consistently hold and align with the given sufficient condition is challenging.
Formal Axioms
First-Order Logic Axioms
LA1:PhysicalUnit(x) → WorkUnit(x) ∧ ¬∃y(PhysicalUnit(y) ∧ hasMemberPartAtSomeTime(x, y))
LA2: WorkUnit(x) ∧ ∃y (isCarrierOfAtSomeTime(x, y) ∧ (RecipeOperation(y) ∨ RecipeUnitProcedure(y))) → PhysicalUnit(x)
Semi-Formal Natural Language Axioms
LA1: if x is a ‘physical unit’, then x is a ‘work unit’ and x does not have as a ‘member part at some time’ any other ‘physical unit’
LA2: if x is a ‘work unit’ that ‘is carrier of at some time’ some ‘recipe operation’ or ‘recipe unit procedure’, then x is a ‘physical unit’
Description Logic
constr:PhysicalUnit ⊑ constr:WorkUnit
constr:PhysicalUnit ⊑ ∀ bfo:has_member_part_at_some_time .¬ constr:PhysicalUnit
constr:WorkUnit ⊓ ∃ bfo:is_carrier_of_at_some_time .(constr:RecipeOperation ⊔ constr:RecipeUnitProcedure) ⊑ constr:PhysicalUnit
SubClassOf: constr:WorkUnit
SubClassOf: bfo:has_member_part_at_some_time only not constr:PhysicalUnit
constr:WorkUnit and bfo:is_carrier_of_at_some_time some (constr:RecipeOperation or constr:RecipeUnitProcedure) SubClassOf: constr:PhysicalUnit