運輸工具 (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)
工程元件
機器
樂器
武器
Related WordNet synsets
- conveyance, transport
- something that serves as a means of transportation
See more related synsets on a separate page.
Axioms (4)
運輸 內部相關於 運輸工具.
(relatedInternalConcept Transportation TransportationDevice)
If trans 是 運輸 的 實例, then there exists 運輸工具 device so that device 對 trans 是 工具.
(=>
(instance ?TRANS Transportation)
(exists
(?DEVICE)
(and
(instance ?DEVICE TransportationDevice)
(instrument ?TRANS ?DEVICE))))
If steer 是 引導 的 實例, then there exists 運輸工具 vehicle so that vehicle 是 steer 的 受事者.
(=>
(instance ?STEER Steering)
(exists
(?VEHICLE)
(and
(instance ?VEHICLE TransportationDevice)
(patient ?STEER ?VEHICLE))))
If device 是 運輸工具 的 實例, then device 可以 任角色 工具 做 運輸.
(=>
(instance ?DEVICE TransportationDevice)
(capability Transportation instrument ?DEVICE))