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:

• distribution center

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 x 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