transportation device (TransportationDevice)
A TransportationDevice is a Device
which serves as the instrument in a Transportation Process which carries
the patient of the Process from one point to another.
Ontology
SUMO / OBJECTSSuperclass(es)
Coordinate term(s)
engineering component
machine
musical instrument
weapon
Related WordNet synsets
- conveyance, transport
- something that serves as a means of transportation
See more related synsets on a separate page.
Axioms (4)
transportation is internally related to transportation device.
(relatedInternalConcept Transportation TransportationDevice)
If trans is an instance of transportation, then there exists transportation device device so that device is an instrument for trans.
(=>
(instance ?TRANS Transportation)
(exists
(?DEVICE)
(and
(instance ?DEVICE TransportationDevice)
(instrument ?TRANS ?DEVICE))))
If steer is an instance of steering, then there exists transportation device vehicle so that vehicle is a patient of steer.
(=>
(instance ?STEER Steering)
(exists
(?VEHICLE)
(and
(instance ?VEHICLE TransportationDevice)
(patient ?STEER ?VEHICLE))))
If device is an instance of transportation device, then device is capable to do transportation in role instrument.
(=>
(instance ?DEVICE TransportationDevice)
(capability Transportation instrument ?DEVICE))