TransportationDevice
|
|
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 15966-15968 | |
(subclass TransportationDevice Device) | Merge.kif 15965-15965 | 輸送機 は デバイス の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
(domain cargoType 1 TransportationDevice) | Transportation.kif 1036-1036 | cargoType の数値 1 引数は 輸送機 の instance では %n |
(domain conveyance 2 TransportationDevice) | Mid-level-ontology.kif 23534-23534 | conveyance の数値 2 引数は 輸送機 の instance では %n |
(domain passengerCapacityMaxNumber 1 TransportationDevice) | Transportation.kif 3257-3257 | passengerCapacityMaxNumber の数値 1 引数は 輸送機 の instance では %n |
(domainSubclass TransportationFn 1 TransportationDevice) | Transportation.kif 1566-1566 | TransportationFn の数値 1 引数は 輸送機 のsubclass では %n |
antecedent |
(=> (and (instance ?TRANSPORT Transportation) (subProcess ?TRANSPORT ?DRIVE) (instance ?DRIVE Driving) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE TransportationDevice)) (patient ?DRIVE ?VEHICLE)) |
Mid-level-ontology.kif 23556-23563 | |
(=> (and (instance ?VEHICLE TransportationDevice) (instance ?TRIP (TripFn ?VEHICLE))) (instrument ?TRIP ?VEHICLE)) |
Transportation.kif 1591-1595 | |
(=> (and (subclass ?TYPE TransportationDevice) (subclass (TransportationFn ?TYPE) Transportation) (instance ?TRIP (TransportationFn ?TYPE))) (exists (?VEHICLE) (and (instance ?VEHICLE ?TYPE) (instrument ?TRIP ?VEHICLE)))) |
Transportation.kif 1572-1580 | |
(=> (and (trafficableForTrafficType ?PLACE ?TYPE) (subclass ?TYPE TransportationDevice) (instance ?MOVER ?TYPE)) (capableAtLocation Transportation instrument ?MOVER ?PLACE)) |
Transportation.kif 2610-2615 |
|
(=> (instance ?DEVICE TransportationDevice) (capability Transportation instrument ?DEVICE)) |
Merge.kif 15970-15972 |
consequent |