manufacturing supply chain system
IRI: https://spec.industrialontologies.org/ontology/construct/ManufacturingSupplyChain
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: supply chain system
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › system › engineered system › supply chain system › manufacturing supply chain system
Definition
supply chain system that is formed to manufacture one or more products
Semi-Formal Definition:
every instance of ‘manufacturing supply chain system’ defined as exactly an instance of a ‘supply chain system’ that ‘has specified output’ some ‘material product’
Examples
- a supply chian that manufactures and delivers F-150 engines to Ford Motor Company
Formal Axioms
First-Order Logic Definition
ManufacturingSupplyChainSystem(x) ↔ SupplyChainSystem(x) ∧ ∃p(MaterialProduct(p) ∧ hasSpecifiedOutput(x,p))
Description Logic
constr:ManufacturingSupplyChain ≡ constr:SupplyChainSystem ⊓ ∃ bfo:participates_in .(constr:SupplyChainProcess ⊓ ∃ constr:hasSpecifiedOutput .constr:MaterialProduct)
EquivalentTo: constr:SupplyChainSystem and bfo:participates_in some (constr:SupplyChainProcess and constr:hasSpecifiedOutput some constr:MaterialProduct)
SubClassOf: constr:SupplyChainSystem