storage capability

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

Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/

SubClass Of: capability

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › storage capability

Definition

capability of an agent or a system that is realized in a storage process

Examples

• Caterpilar’s capability to store its manufactured trucks up to a certain number

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

StorageCapability(x)→Capability(x) ∧ ∃y(Agent(y) ∨ EngineeredSystem(y) ∧ CapabilityOf(x,y)) ∧ ∃p(StorageProcess(p) ∧ hasRealization(x,p))

Semi-Formal Natural Language Axioms

if x is a ‘storage capability’ then x is a ‘capability’ that is ‘capability of’ some agent or system y and that ‘realized in’ some ‘storage process’ p

Description Logic

constr:StorageCapability ⊑ constr:Capability

constr:StorageCapability ⊑ ∃ bfo:has_realization .constr:StorageProcess

constr:StorageCapability ⊑ ∃ constr:capabilityOf .(constr:Agent ⊔ constr:System)

SubClassOf: constr:Capability

SubClassOf: bfo:has_realization some constr:StorageProcess

SubClassOf: constr:capabilityOf some (constr:Agent or constr:System)