transportation service provider role
IRI: https://spec.industrialontologies.org/ontology/construct/TransportationServiceProviderRole
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 › transportation service provider role
Definition
logisitics service provider role that is held by a business organization or person when it provides a transportation service
Semi-Formal Definition:
if x is a ‘transportation service provider role’ then x is a ‘service provider role’ that is the ‘role of’ a ‘business organization’ or ‘person’ y when it is ‘agent in’ some ‘transportation service’
Examples
- role of Jack when he uses his personal vehicle to deliver Amazon packages; role of IKEA when it uses its own trucks to deliver furniture to customers
Synonyms
- Carrier Role
Formal Axioms
First-Order Logic Definition
TransportationServiceServiceProviderRole(x) ↔ LogisticsServiceProviderRole(x) ∧ ∃y∃p((BusinessOrganization(y) ∨ Person(y)) ∧ TransportationService(p) ∧ agentIn(y,p) ∧ roleOf(x,y))
Description Logic
constr:TransportationServiceProviderRole ≡ constr:LogisticsServiceProviderRole ⊓ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:agentIn .constr:TransportationService)
EquivalentTo: constr:LogisticsServiceProviderRole and constr:roleOf some ((constr:BusinessOrganization or constr:Person) and constr:agentIn some constr:TransportationService)
SubClassOf: owl:Thing