manufacturing service
IRI: https://spec.industrialontologies.org/ontology/construct/ManufacturingService
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: commercial service
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › commercial service › manufacturing service
Definition
commercial service that consists of at least one manufacturing process
Semi-Formal Definition:
every instance of ‘manufactuirng service’ is defined as exactly an instance of ‘commercial service’ that ‘has occurrent part’ some ‘manufacturing process’
Examples
- The final assembly service provided by Foxconn to Apple (Foxconn is a contract manufacturing service company that owns and operates factories in China that do the final assembly of iPhones for Apple), The machining services provided by a contract machinist
Formal Axioms
First-Order Logic Definition
ManufacturingService(x) ↔ CommercialService(x) ∧ ∃p(ManufacturingProcess(p) ∧ hasOccurentPart(x,p))
Description Logic
constr:ManufacturingService ≡ constr:CommercialService ⊓ ∃ bfo:has_occurrent_part .constr:ManufacturingProcess
EquivalentTo: constr:CommercialService and bfo:has_occurrent_part some constr:ManufacturingProcess
SubClassOf: owl:Thing