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 legal document between a shipper and a carrier that details the type, quantity, and destination of the goods being transported [APICS].
A transportation document that is the contract of carriage containing the terms and conditions between the shipper and carrier [CSCMP].
It serves as a receipt of goods, a contract of carriage, and, in some cases, a document of title.
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
LA1: BillOfLading (x) → CommercialServiceAgreement (x) ∧ ∀y∀z(ConsignorRole(y) ∧ CarrierRole(z) ∧ prescribes(x,y) ∧ prescribes(x,z))
LA2: 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
LA1: if x is a ‘bill of lading’, then x is a ‘commercial service agreement’ that ‘prescribes’ only ‘consignor role’ and only ‘transportation service provider role’
LA2: If x is a ‘commercial service agreement’ that ‘is about’ some ‘consigning process’ and it ‘prescribes’ some ‘consignor role’ and some ‘carrier role’ then x is a ‘bill of lading’
Description Logic
constr:BillOfLading ⊑ constr:CommercialServiceAgreement
constr:BillOfLading ⊑ ∃ bfo:has_continuant_part_at_all_times .(constr:InformationContentEntity ⊓ ∀ constr:prescribes .constr:ConsigningProcess)
constr:BillOfLading ⊑ ∃ bfo:has_continuant_part_at_all_times .(constr:InformationContentEntity ⊓ ∀ constr:prescribes .constr:ConsignorRole)
constr:BillOfLading ⊑ ∃ bfo:has_continuant_part_at_all_times .(constr:InformationContentEntity ⊓ ∀ constr:prescribes .constr:TransportationServiceProviderRole)
constr:CommercialServiceAgreement ⊓ ∃ constr:isAbout .constr:ConsigningProcess ⊓ ∃ constr:prescribes .constr:ConsignorRole ⊓ ∃ constr:prescribes .constr:TransportationServiceProviderRole ⊑ constr:BillOfLading
SubClassOf: constr:CommercialServiceAgreement
SubClassOf: bfo:has_continuant_part_at_all_times some (constr:InformationContentEntity and constr:prescribes only constr:ConsigningProcess)
SubClassOf: bfo:has_continuant_part_at_all_times some (constr:InformationContentEntity and constr:prescribes only constr:ConsignorRole)
SubClassOf: bfo:has_continuant_part_at_all_times some (constr:InformationContentEntity and constr:prescribes only constr:TransportationServiceProviderRole)
constr:CommercialServiceAgreement and constr:isAbout some constr:ConsigningProcess and constr:prescribes some constr:ConsignorRole and constr:prescribes some constr:TransportationServiceProviderRole SubClassOf: constr:BillOfLading