supply chain system
IRI: https://spec.industrialontologies.org/ontology/construct/SupplyChainSystem
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: engineered system
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › system › engineered system › supply chain system
Direct subclasses:
Definition
engineered system composed of agents, facilties, machines, and information systems that is designed to deliver products and services to end customers through an engineered flow of information, material, and cash
Semi-Formal Definition:
every instance of ‘supply chain system’ is defined as exactly an instance of an ‘engineered system’ that ‘has member part at all times’ some ‘group of suppliers’ that ‘participates in at some time’ some ‘product production process’ or ‘commercial service’ and ‘is prescribed by’ some ‘supply chain plan specification’
Explanatory Notes
A related notion is Supply Chain Infrastrucutre.
A supply chain is a system of organizations and business procsses that are involved in manufacture, distribution, and maintenance of a product or asset [GS1].
An Engineered System comprising all agents, equipment, facilities, software systems, production systems, logistics systems, and other systems and resources, governed by a set of rules, designed and deployed with the function of delivering a product or a service to some customer [APICS].
Examples
- the suppliers Ford Motor Company and their equipment, facilities, software systems, production systems, logistics systems that are collectively used and coordinated for production of a Ford F-150’s engine
Synonyms
- Supply Chain
Formal Axioms
First-Order Logic Definition
SupplyChainSystem(x) ↔ EngineeredSystem(x) ∧ ∃s((CommercialService(s) ∨ ProductProductionProcess(s)) ∧ (participatesInAtSomeTime(x,s))) ∧ ∃g(GroupofSuppliers(g) ∧ hasMemberPartAtAllTime(x,g)) ∧ ∃p(SupplyChainPlanSpecification(p) ∧ prescribes(p,x))
Description Logic
constr:SupplyChainSystem ≡ constr:EngineeredSystem ⊓ ∃ bfo:participates_in .(constr:CommercialService ⊔ constr:ProductProductionProcess) ⊓ ∃ bfo:has_member_part_at_all_times .constr:GroupOfSuppliers ⊓ ∃ constr:prescribedBy .constr:SupplyChainPlanSpecification
EquivalentTo: constr:EngineeredSystem and bfo:participates_in some (constr:CommercialService or constr:ProductProductionProcess) and bfo:has_member_part_at_all_times some constr:GroupOfSuppliers and constr:prescribedBy some constr:SupplyChainPlanSpecification
SubClassOf: constr:EngineeredSystem