trailer
IRI: https://spec.industrialontologies.org/ontology/construct/Trailer
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 › trailer
Definition
container that is unpowered and is pulled by a powered vehicle
Examples
- a carry-on trailer used at a farm
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
Trailer(x) → PieceOfTransportEquipment(x)
Semi-Formal Natural Language Axioms
if x is a ‘trailer’ then x is a ‘container’
Description Logic
SubClassOf: constr:Container