cargo
IRI: https://spec.industrialontologies.org/ontology/construct/Cargo
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: bfo:material entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › cargo
Definition
material entity that is transported using a transport equipment by a carrier
Semi-Formal Definition:
every instance of ‘cargo’ is defined as exactly an instance of ‘material entity’ that ‘has role’ some ‘cargo role’
Explanatory Notes
1- A product shipped in an aircraft, railroad car, ship, barge, or truck [APICS]. 2- Subject of a shipment. The materials being carried [CSCMP].
Examples
- All articles, goods, materials, merchandise, or wares carried onboard an aircraft, ship, train, or truck, and for which an air waybill, or bill of lading, or other receipt is issued by the carrier
Formal Axioms
First-Order Logic Definition
Cargo(x) ↔ MaterialEntity(x) ∧ ∃r(CargoRole(r) ∧ hasRole(x,r))
Description Logic
constr:Cargo ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:CargoRole
constr:Cargo ⊑ bfo:material_entity
EquivalentTo: bfo:material_entity and constr:hasRole some constr:CargoRole
SubClassOf: bfo:material_entity