freight forwarding business function

IRI: https://spec.industrialontologies.org/ontology/construct/FreightForwardingBusinessFunction

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 › freight forwarding business function

Definition

business function that is realized in a freight forwarding service

Semi-Formal Definition:

every instance of ‘freight forwarding business function’ is defined as exactly an instance of ‘business function’ that is ‘realized in’ some ‘freight forwarding service’

Explanatory Notes

business function that is realized in the process of planning and coordinating the transportation of material products on behalf of a shipper

Examples

• the function of Wagner Forwarders LLC to pick up shipments from a shipper’s warehouse, carries out customs clearance, transports the goods from the destination, and deliver them to the clients

Formal Axioms

First-Order Logic Definition

FreightForwardingBusinessFunction(x) ↔ BusinessFunction(x) ∧ ∃s(FreightForwardingService (s) ∧ hasRealization(x,s))

Description Logic

constr:FreightForwardingBusinessFunction ≡ constr:BusinessFunction ⊓ ∃ bfo:has_realization .constr:FreightForwardingService

constr:FreightForwardingBusinessFunction ⊑ constr:BusinessFunction

EquivalentTo: constr:BusinessFunction and bfo:has_realization some constr:FreightForwardingService

SubClassOf: constr:BusinessFunction