work unit

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

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

SubClass Of: bfo:object aggregate

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › work unit

Direct subclasses:

• physical unit
• storage unit
• work cell

Definition

object aggregate that is a member of a work center

Semi-Formal Definition:

every instance of a ‘work unit’ is defined as exactly an instance of ‘object aggregate’ that is the ‘member part of at all times’ some ‘work center’

Explanatory Notes

ISA 95: any element in the equipment hierarchy under the work center

Examples

• physical unit; storage unit; work cell

Adapted From

• ISA 95

Formal Axioms

First-Order Logic Definition

WorkUnit(x) ↔ ObjectAggregate(x) ∧ ∃y(WorkCenter(y) ∧ memberPartOfAtAllTimes(x, y))

Description Logic

constr:WorkUnit ≡ bfo:object_aggregate ⊓ ∃ bfo:member_part_of_at_all_times .constr:WorkCenter

constr:WorkUnit ⊑ bfo:object_aggregate

constr:WorkUnit ⊓ constr:Enterprise ⊑ ⊥

constr:WorkUnit ⊓ constr:PhysicalArea ⊑ ⊥

constr:WorkUnit ⊓ constr:PhysicalSite ⊑ ⊥

constr:WorkUnit ⊓ constr:WorkCenter ⊑ ⊥

EquivalentTo: bfo:object_aggregate and bfo:member_part_of_at_all_times some constr:WorkCenter

SubClassOf: bfo:object_aggregate

constr:WorkUnit DisjointWith: (constr:Enterprise, constr:PhysicalArea, constr:PhysicalSite, constr:WorkCenter)