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