freight forwarding process

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

Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/

SubClass Of: business process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › freight forwarding process

Definition

business process of planning and coordinating the transportation of material products on behalf of a shipper

Explanatory Notes

Freight forwarding is the process of organizing shipments for individuals or corporations to get goods from a manufacturer to a market, customer or final point of distribution.

Examples

• Vermont Tech manufactures electric spare parts in Vermont and exports them to Canada and Mexico. Vermont Tech hired Wagner Forwarders LLC that picks up shipments from Vermont Tech’s warehouse, carries out customs clearance, transports the goods from the destination, and delivers them to the clients in Mexico and Canada.

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

The required constructs for creation of a formal definition are not available in this release.

Formal Axioms

First-Order Logic Axioms

FreightForwardingProcess(x) → BusinessProcess(x) ∧ ∃f∃s(FreightForwarder(f) ∧ Shipment(s) ∧ hasParticipantAtSomeTime(x,f) ∧ hasParticipantAtSomeTime(x,s))

Semi-Formal Natural Language Axioms

if x is a ‘freight forwarding process’ then x is a ‘business process’ and ‘has participant at some time’ some ‘freight forwarder’ and some ‘shipment’

Description Logic

constr:FreightForwardingProcess ⊑ ⊤

constr:FreightForwardingProcess ⊑ constr:BusinessProcess ⊓ ∃ bfo:has_participant_at_some_time .constr:FreightForwarder

SubClassOf: owl:Thing

SubClassOf: constr:BusinessProcess and bfo:has_participant_at_some_time some constr:FreightForwarder