bill of lading

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

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

SubClass Of: commercial service agreement

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › agreement › commercial service agreement › bill of lading

Definition

agreement between a shipper and a carrier that prescribes some consigning process

Explanatory Notes

A carrier’s contract and receipt for goods the carrier agrees to transport from one place to another and to deliver to a designated person. In case of loss, damage, or delay, the bill of lading is the basis for filing freight claims [APICS].

A transportation document that is the contract of carriage containing the terms and conditions between the shipper and carrier [CSCMP].

Examples

  • Bill of Lading related to transportation of 2200 gallons of antifreeze from a shipper’s location to a receiver/consignee’s location by a carrier.

Primitive Class

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

Primitive Rationale

See the general discussion and rationale provided for informational entities under ‘information content entity’.

Formal Axioms

First-Order Logic Axioms 

CommercialServiceAgreement (x) ∧ ∃c∃y∃z(ConsigningProcess(c) ∧ ConsignorRole(y) ∧ CarrierRole(z) ∧ isAbout(x,c) ∧ prescribes(x,y) ∧ prescribes(x,z)) → BillofLading(x)

Semi-Formal Natural Language Axioms

If x is an ‘commercial service agreement’ that ‘is about’ some ‘consigning process’ and that ‘prescribes’ some ‘consignor role’ and some ‘carrier role’ then x is a ‘bill of lading’

Description Logic

constr:BillOfLading ⊑ constr:CommercialServiceAgreement

constr:CommercialServiceAgreement ⊓ ∃ constr:isAbout .constr:ConsigningProcess ⊓ ∃ constr:prescribes .constr:ConsignorRole ⊓ ∃ constr:prescribes .constr:TransportationServiceProviderRole ⊑ constr:BillOfLading

SubClassOf: constr:CommercialServiceAgreement

constr:CommercialServiceAgreement and constr:isAbout some constr:ConsigningProcess and constr:prescribes some constr:ConsignorRole and constr:prescribes some constr:TransportationServiceProviderRole SubClassOf: constr:BillOfLading