packaging service provider role
IRI: https://spec.industrialontologies.org/ontology/construct/PackagingServiceProviderRole
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: logistics service provider role
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › supplier role › service provider role › logistics service provider role › packaging service provider role
Definition
logistics service provider role held by a business organization or person when it provides a packaging service
Semi-Formal Definition:
if x is a Packaging Service Provider Role then x is a Logistics Service Provider Role that is the ‘role of’ a Business Organization or Person y when it is ‘agent in’ some Packaging Service
Examples
- The role of ABC Co. when they provide on-site packing and knitting service by bringing materials and a crew to the customer site and packing the products that need to be shipped.
Formal Axioms
First-Order Logic Definition
PackagingServiceProviderRole(x) ↔ LogisticsServiceProviderRole(x) ∧ ∃y∃p ((BusinessOrganization(y) ∨ Person(y)) ∧ PackagingService(p) ∧ agentIn(y,p) ∧ roleOf(x, y))
Description Logic
constr:PackagingServiceProviderRole ≡ constr:LogisticsServiceProviderRole ⊓ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:agentIn .constr:PackagingService)
EquivalentTo: constr:LogisticsServiceProviderRole and constr:roleOf some ((constr:BusinessOrganization or constr:Person) and constr:agentIn some constr:PackagingService)
SubClassOf: owl:Thing