work cell
IRI: https://spec.industrialontologies.org/ontology/construct/WorkCell
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 › work cell
Definition
work unit that is a member part of a production line and is used to manufacture some material parts that share manufacturing requirements
Explanatory Notes
1) ISA95: work unit within a production line that consists of equipment grouped together to produce a family of parts having similar manufacturing requirements. 2) While production lines can be used in discrete or continous manufacturing - work cells are only considered as parts of production lines that are used for discrete manufacturing
Examples
- an automotive assembly line with a series of workstations or work cells where car bodies move along a conveyor, and at each station, specific components—such as engines, doors, or seats—are installed by workers and/or robots; a smartphone production line that includes stations or work cells for mounting circuit boards, installing screens, assembling casings, and performing quality checks; a washing machine production line having a series of workstations or work cells where the chassis is assembled, components such as motors, drums, pipes, and electronic circuits are installed, and the final product is tested and packaged; a candy production line composed of an oven or cooker, a work cell of forming machines, a cooling tunnel, as well as work cells of wrapping machines, and packaging machines
Adapted From
- ISA95
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to provide a set of necessary and sufficient conditions. Specifically the construct ‘manufacturing requirement’ is missing.
Formal Axioms
First-Order Logic Axioms
WorkCell(x) → WorkUnit(x) ∧ ∃y(ProductionLine(y) ∧ memberPartOfAtSomeTime(x, y))
Semi-Formal Natural Language Axioms
if x is a ‘work cell’ then x is a ‘work unit’ and x is a ‘member part of at some time’ some ‘production line’
Description Logic
constr:WorkCell ⊑ constr:WorkUnit
constr:WorkCell ⊑ ∃ bfo:member_part_of_at_some_time .constr:ProductionLine
SubClassOf: constr:WorkUnit
SubClassOf: bfo:member_part_of_at_some_time some constr:ProductionLine