conveyance |
appearance as argument number 1 |
(documentation conveyance EnglishLanguage "(conveyance ?EVENT ?OBJ) means that ?OBJ is the Vehicle or other transportation device used in ?EVENT.") | Mid-level-ontology.kif 23581-23583 | |
(domain conveyance 1 Transportation) | Mid-level-ontology.kif 23585-23585 | |
(domain conveyance 2 TransportationDevice) | Mid-level-ontology.kif 23586-23586 | |
(instance conveyance CaseRole) | Mid-level-ontology.kif 23580-23580 | |
(subrelation conveyance instrument) | Mid-level-ontology.kif 23584-23584 |
appearance as argument number 2 |
(format ChineseLanguage conveyance "%2 %n 是 %1 的 conveyance") | chinese_format.kif 85-85 | |
(format EnglishLanguage conveyance "%2 is %n a conveyance during %1") | english_format.kif 85-85 | |
(format JapaneseLanguage conveyance "%2 は %1 の間の conveyance では %n") | japanese_format.kif 1891-1891 | |
(termFormat ChineseLanguage conveyance "输送") | domainEnglishFormat.kif 17130-17130 | |
(termFormat ChineseLanguage conveyance "运输工具") | chinese_format.kif 86-86 | |
(termFormat ChineseTraditionalLanguage conveyance "輸送") | domainEnglishFormat.kif 17129-17129 | |
(termFormat EnglishLanguage conveyance "conveyance") | domainEnglishFormat.kif 17128-17128 |
antecedent |
(=> (and (instance ?TRANSPORT TransportViaRoadVehicle) (conveyance ?TRANSPORT ?VEHICLE)) (instance ?VEHICLE RoadVehicle)) |
Mid-level-ontology.kif 23595-23599 |
consequent |
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE)) |
Mid-level-ontology.kif 23643-23650 |