storage facility
IRI: https://spec.industrialontologies.org/ontology/construct/StorageFacility
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: facility
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › system › engineered system › facility › storage facility
Direct subclasses:
Definition
facility that is designed to store materials or goods
Examples
- Costco’s Warehouse, Self-storage facility
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
The required constructs for providing necessary and sufficient conditions are not available in this release.
Formal Axioms
First-Order Logic Axioms
StorageFacility(x) → Facility(x) ∧ ∃c(StorageCapability(c) ∧ hasCapability(x,c))
Semi-Formal Natural Language Axioms
if x is a ‘storage facility’ then x is a ‘facility’ and ‘has capability’ some ‘storage capability’
Description Logic
constr:StorageFacility ⊑ constr:Facility
constr:StorageFacility ⊑ ∃ constr:hasCapability .constr:StorageCapability
SubClassOf: constr:Facility
SubClassOf: constr:hasCapability some constr:StorageCapability