integrated carrier business organization

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

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

SubClass Of: business organization

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › group of agents › organized group of agents › organization › business organization › integrated carrier business organization

Definition

business organization that is created for the purpose of providing different types of transportation and freight forwarding services

Semi-Formal Definition:

every instance of ‘integrated carrier business organization’ is defined as exactly an instance of ‘business organization’ that ‘has function’ some ‘transportation business function’ and ‘has function’ some ‘freight forwarding business function’

Explanatory Notes

A company that offers a blend of transportation services such as land, sea and air carriage, freight forwarding, and ground handling [CSCMP]

Examples

• FedEx, UPS, DHL

Formal Axioms

First-Order Logic Definition

IntegratedCarrierBusinessOrganization(x)→BusinessOrganization(x) ∧ ∃f((FreightForwardingBusinessFunction(f) ∨ TransportationBusinessFunction(f)) ∧hasFunction(x,f))

Description Logic

constr:IntegratedCarrierBusinessOrganization ≡ constr:BusinessOrganization ⊓ ∃ constr:hasFunction .constr:FreightForwardingBusinessFunction ⊓ ∃ constr:hasFunction .constr:TransportationBusinessFunction

constr:IntegratedCarrierBusinessOrganization ⊑ constr:BusinessOrganization

EquivalentTo: constr:BusinessOrganization and constr:hasFunction some constr:FreightForwardingBusinessFunction and constr:hasFunction some constr:TransportationBusinessFunction

SubClassOf: constr:BusinessOrganization