production capability

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

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 › production capability

Direct subclasses:

• make-to-order production capability
• make-to-stock production capability

Definition

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

Examples

• the capability of Philips Lighting Co to manufacture 1000 LED lamps per day

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

ProductionCapability(x) → Capability(x) ∧ ∃y(Agent(y) ∨ EngineeredSystem(y) ∧ CapabilityOf(x,y)) ∧ ∃p(ProductProductionProcess(p) ∧ hasRealization(x,p))

Semi-Formal Natural Language Axioms

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

Description Logic

constr:ProductionCapability ⊑ constr:Capability

constr:ProductionCapability ⊑ ∃ bfo:has_realization .constr:ProductProductionProcess

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

SubClassOf: constr:Capability

SubClassOf: bfo:has_realization some constr:ProductProductionProcess

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