TransportationDevice(transportation device) | Alpine_lift, B-52, Carling_float, Conestoga, Conestoga_wagon, Graf_Zeppelin, Mackinaw_boat, Mayflower, PT_boat, Salyut, Sharpie, Skylab, Sno-cat, T-bar, T-bar_lift, USS_Cole, abandoned_ship, aerial, aerial_tramway, aerially, aeromechanic, aeronautic, aeronautical, air_transportation_system, amphibian, amphibious_vehicle, angledozer, applecart, aquaplane, aqueduct, argosy, ark, autogiro, autogyro, automotive, auxiliary_research_submarine, bandwagon, barouche, barrow, bathyscape, bathyscaph, bathyscaphe, bathysphere, battle_cruiser, battleship, battlewagon, berlin, big_dipper, birch_bark, birchbark... |
appearance as argument number 1 |
(documentation TransportationDevice ChineseLanguage "TransportationDevice 是在 Transportation Process 中用作 instrument 的一个 Device,通过这个 Process, 它把 patient 从一处运载到另一处。") | chinese_format.kif 3622-3624 | |
(documentation TransportationDevice EnglishLanguage "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.") | Merge.kif 16038-16040 | |
(subclass TransportationDevice Device) | Merge.kif 16037-16037 | Transportation device is a subclass of device |
appearance as argument number 2 |
appearance as argument number 3 |
(domain cargoType 1 TransportationDevice) | Transportation.kif 1036-1036 | The number 1 argument of cargo type is an instance of transportation device |
(domain conveyance 2 TransportationDevice) | Mid-level-ontology.kif 23586-23586 | The number 2 argument of conveyance is an instance of transportation device |
(domain passengerCapacityMaxNumber 1 TransportationDevice) | Transportation.kif 3438-3438 | The number 1 argument of passenger capacity max number is an instance of transportation device |
(domainSubclass TransportationFn 1 TransportationDevice) | Transportation.kif 1566-1566 | The number 1 argument of transportation is a subclass of transportation device |
antecedent |
consequent |