storage unit
IRI: https://spec.industrialontologies.org/ontology/construct/StorageUnit
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 › storage unit
Definition
work unit that is a member part of a storage zone
Semi-Formal Definition:
every instance of a ‘storage unit’ is defined as exactly an instance of ‘work unit’ that is the ‘member part of at all times’ some ‘storage zone’
Explanatory Notes
ISA 95: work unit that is part of a storage zone that is designated physical space and/or equipment Work unit that is a subdivision of a storage zone
Examples
- a tank in a tank farm; a silo in a silo farm; a storage bay or rack in a warehouse or depot; a designated surface in a holding area intended for the storage of a particular product or family of products, such as logs within a certain diameter range and conicity
Adapted From
- ISA95
Formal Axioms
First-Order Logic Definition
StorageUnit(x) ↔ WorkUnit(x) ∧ ∃y(StorageZone(y) ∧ memberPartOfAtAllTimes(x, y))
Description Logic
constr:StorageUnit ≡ constr:WorkUnit ⊓ ∃ bfo:member_part_of_at_all_times .constr:StorageZone
EquivalentTo: constr:WorkUnit and bfo:member_part_of_at_all_times some constr:StorageZone
SubClassOf: constr:WorkUnit