work cell

IRI: https://spec.industrialontologies.org/ontology/construct/WorkCell

Defined In: https://spec.industrialontologies.org/ontology/biopharma/ManufacturingSystemOrganization/

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 .constr:ProductionLine

SubClassOf: constr:WorkUnit

SubClassOf: bfo:member_part_of some constr:ProductionLine