equipment module
IRI: https://spec.industrialontologies.org/ontology/construct/EquipmentModule
Defined In: https://spec.industrialontologies.org/ontology/biopharma/ManufacturingSystemOrganization/
SubClass Of: engineered system
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › system › engineered system › equipment module
Definition
enginereed system typically centered around a piece of equipment that carries out some phase
Explanatory Notes
ISA88: functional group of equipment that can carry out a number of specific minor processing activities
Usage Notes
The OWL formalization of LA2 relies on classes defined within the recipe module. Accordingly, the sufficient condition for LA2 is implemented in OWL as part of the recipe module, rather than within the physical module.
Examples
- a heating or cooling system of a reactor or bioreactor that includes the reactor’s jacket, temperature sensors, control valves, and the control logic needed to regulate the heating or cooling process; an agitator system in a mixing tank, which consists of the agitator, its motor, the speed controller, associated sensors, and the control logic that manages starting, stopping, and speed adjustment; a liquids dosing system of a mixer, blender, or reactor that includes pumps, flowmeters, valves, and control logic to ensure accurate dosing; a solids dosing system of a mixer, blender, or reactor that includes feeders, a weigh tank, valves, and control logic to ensure accurate dosing; a CIP (Clean-In-Place) skid that automates the cleaning of equipment and piping in a process cell, including tanks for fluids, pumps, valves, sensors, and control logic to sequence cleaning steps; and a venting system of a reactor or vessel that includes pressure sensors, vent valves, and the logic to safely evacuate the unit as needed
Adapted From
- ISA88 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: EquipmentModule(x) → EngineeredSystem(x) ∧ ∃y(PieceOfEquipment(y) ∧ hasMemberPartAtAllTimes(x, y))
LA2: EngineeredSystem(x) ∧ ∃a (isCarrierOfAtSomeTime(x, a) ∧ RecipePhase(a)) ∧ ∃b (memberPartOfAtSomeTime(x, b) ∧ PhysicalUnit(b)) ∧ ∃c (hasMemberPartAtAllTimes(x, c) ∧ PieceOfEquipment(c)) → EquipmentModule(x)
Semi-Formal Natural Language Axioms
LA1: if x is an ‘equipment module’ then x is an ‘engineered system’ that ‘has member part at all times’ some ‘piece of equipment’
LA2: if x is an ‘engineered system’ that ‘is carrier of at some time’ some ‘recipe phase’, ‘is member part of at some time’ some ‘physical unit’, and ‘has member part at all times’ some ‘piece of equipment’, then x is an ‘equipment module’
Description Logic
constr:EquipmentModule ⊑ constr:EngineeredSystem
constr:EquipmentModule ⊑ ∃ bfo:has_member_part_at_all_times .constr:PieceOfEquipment
constr:EngineeredSystem ⊓ ∃ bfo:is_carrier_of .constr:RecipePhase ⊓ ∃ bfo:member_part_of .constr:PhysicalUnit ⊓ ∃ bfo:has_member_part_at_all_times .constr:PieceOfEquipment ⊑ constr:EquipmentModule
SubClassOf: constr:EngineeredSystem
SubClassOf: bfo:has_member_part_at_all_times some constr:PieceOfEquipment
constr:EngineeredSystem and bfo:is_carrier_of some constr:RecipePhase and bfo:member_part_of some constr:PhysicalUnit and bfo:has_member_part_at_all_times some constr:PieceOfEquipment SubClassOf: constr:EquipmentModule