shipment state
IRI: https://spec.industrialontologies.org/ontology/construct/ShipmentState
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: material state
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › material state › shipment state
Definition
material state in which a shipment that participates in the state has a condition that remains unchanged
Examples
- delayed state, in-transit state, delivered state
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to create necessary and sufficient conditions. Namely, constructs to formalize XYZ are still lacking.
Formal Axioms
First-Order Logic Axioms
ShipmentState(x) → MaterialState(x)
Semi-Formal Natural Language Axioms
if x is a ‘shapment state’ then x is a ‘material state’
Description Logic
SubClassOf: constr:MaterialState