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 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 3309-3309 | 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 |