transportation business function
IRI: https://spec.industrialontologies.org/ontology/construct/TransportationBusinessFunction
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: business function
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › bfo:function › business function › transportation business function
Definition
business function that is realized in a transportation service
Semi-Formal Definition:
every instance of ‘transportation business function’ is defined as exactly an instance of a ‘business function’ that ‘has realization’ some ‘transportation service’
Explanatory Notes
business function that is realized in a location change process involving the movement of material entities by some piece of transport equipment
Examples
- the function of Maersk to provide transportation service
Formal Axioms
First-Order Logic Definition
TransportationBusinessFunction(x) ↔ BusinessFunction(x) ∧ ∃s(TransportationService(s) ∧ hasRealization(x,s))
Description Logic
constr:TransportationBusinessFunction ≡ constr:BusinessFunction ⊓ ∃ bfo:has_realization .constr:TransportationService
EquivalentTo: constr:BusinessFunction and bfo:has_realization some constr:TransportationService
SubClassOf: owl:Thing