load

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

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 › load

Definition

collection of material entities which share the same transportation and transfer history

Semi-Formal Definition:

every instance of ‘load’ is defined as exactly an instane of ‘material entity’ that ‘has role’ some ‘load role’

Explanatory Notes

collection of material entites transported or transferred together

Examples

• a portion of grain loaded on a truck and transported from a grain elevator to a food processing facility

Formal Axioms

First-Order Logic Definition

Load(x) ↔ MaterialEntity(x) ∧ ∃r(LoadRole(r) ∧ hasRole(x,r))

Description Logic

constr:Load ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:LoadRole

constr:Load ⊑ ⊤

EquivalentTo: bfo:material_entity and constr:hasRole some constr:LoadRole

SubClassOf: owl:Thing