load role

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

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

SubClass Of: traceable resource unit role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › traceable resource unit role › load role

Definition

traceable resource unit role held by a number of material entities that have been transferred or transported together

Examples

• role of 200 pounds of wheat when it is transferred from one container to another container

Primitive Class

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

Primitive Rationale

The required constructs for creation of a formal definition are not available in this release.

Formal Axioms

First-Order Logic Axioms

LoadRole(x) → TraceableResouceUnitRole(x) ∧ ∃m∃p(MaterialEntity(m) ∧ MaterialLocationChangeProcess(p) ∧ participatesInAtSomeTime(m,p) ∧ ∃i(Identifier(i) ∧ designates(i,m)) ∧ roleOf(x,m))

Semi-Formal Natural Language Axioms

if x is a ‘load role’ then x is a ‘traceable resource unit role’ that is the ‘role of’ some ‘material entity’ m that ‘participates in at some time’ some ‘material location change process’ and m is ‘designated by’ some ‘identifier’

Description Logic

constr:LoadRole ⊑ constr:TraceableResourceUnitRole

constr:LoadRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in_at_some_time .constr:MaterialLocationChangeProcess)

SubClassOf: constr:TraceableResourceUnitRole

SubClassOf: constr:roleOf some (bfo:material_entity and bfo:participates_in_at_some_time some constr:MaterialLocationChangeProcess)