packaging service
IRI: https://spec.industrialontologies.org/ontology/construct/PackagingService
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: logistics service
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › commercial service › logistics service › packaging service
Definition
logistics service that consists of at lest one packaging process
Semi-Formal Definition:
every instance of ‘packaging service’ is defined as exactly an instance of ‘logistics service’ that ‘has occurrent part’ some ‘packaging process’
Examples
- On-site packing and knitting service provided by ABC company when they bring materials and a crew to the customer site and pack the products that need to be shipped.
Formal Axioms
First-Order Logic Definition
PackagingService(x) ↔ LogisticsService(x) ∧ ∃p(PackagingProcess(p) ∧ hasOccurentPart(x,p))
Description Logic
constr:PackagingService ≡ constr:LogisticsService ⊓ ∃ bfo:has_occurrent_part .constr:PackagingProcess
EquivalentTo: constr:LogisticsService and bfo:has_occurrent_part some constr:PackagingProcess
SubClassOf: owl:Thing