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 least 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

constr:PackagingService ⊑ ⊤

EquivalentTo: constr:LogisticsService and bfo:has_occurrent_part some constr:PackagingProcess

SubClassOf: owl:Thing