process cell
IRI: https://spec.industrialontologies.org/ontology/construct/ProcessCell
Defined In: https://spec.industrialontologies.org/ontology/biopharma/ManufacturingSystemOrganization/
SubClass Of: work center
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › work center › process cell
Definition
work center that is required for carrying out some control recipe
Explanatory Notes
ISA88: logical grouping of equipment that includes the equipment required for production of one or more batches
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
- equipment involved in the production of chocolate paste, including mixers, calendaring and conching equipment, as well as dosing and weighing systems and control equipment; a polyvinyl chloride (PVC) batch production process cell containing several batch reactors, venting and steam stripping units, and spray dryers; a medicine pills production cell including blending units with feeders, granulation units, drying units, grinders, tableting presses, and coaters
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:ProcessCell(x) → WorkCenter(x) ∧ ∃y(PhysicalUnit(y) ∧ hasMemberPartAtAllTimes(x, y))
LA2: WorkCenter(x) ∧ ∃y (isCarrierOfAtSomeTime(x, y) ∧ ControlRecipe(y)) → ProcessCell(x)
Semi-Formal Natural Language Axioms
LA1:if x is a ‘process cell’ then x is a ‘work center’ that ‘has member part at all times’ some ‘physical unit’
LA2: if x is a ‘work center’ that ‘is carrier of at some time’ some ‘control recipe’, then x is a ‘process cell’
Description Logic
constr:ProcessCell ⊑ constr:WorkCenter
constr:ProcessCell ⊑ ∃ bfo:has_member_part_at_all_times .constr:PhysicalUnit
constr:WorkCenter ⊓ ∃ bfo:is_carrier_of_at_some_time .constr:ControlRecipe ⊑ constr:ProcessCell
SubClassOf: constr:WorkCenter
SubClassOf: bfo:has_member_part_at_all_times some constr:PhysicalUnit
constr:WorkCenter and bfo:is_carrier_of_at_some_time some constr:ControlRecipe SubClassOf: constr:ProcessCell