wagon
IRI: https://spec.industrialontologies.org/ontology/construct/Wagon
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: container
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object › material artifact › container › wagon
Definition
container in a rail transport system used for carrying cargo or passengers
Examples
- freight wagons, freight cars
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
Wagon(x) → PieceOfTransportEquipment(x)
Semi-Formal Natural Language Axioms
if x is a ‘wagon’ then x is a ‘piece of transport equipment’
Description Logic
SubClassOf: constr:Container