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 22976-22978 | |
(domain conveyance 1 Transportation) | Mid-level-ontology.kif 22980-22980 | |
(domain conveyance 2 TransportationDevice) | Mid-level-ontology.kif 22981-22981 | |
(instance conveyance CaseRole) | Mid-level-ontology.kif 22975-22975 | |
(subrelation conveyance instrument) | Mid-level-ontology.kif 22979-22979 |
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 | |
(termFormat ChineseLanguage conveyance "输送") | domainEnglishFormat.kif 17121-17121 | |
(termFormat ChineseLanguage conveyance "运输工具") | chinese_format.kif 86-86 | |
(termFormat ChineseTraditionalLanguage conveyance "輸送") | domainEnglishFormat.kif 17120-17120 | |
(termFormat EnglishLanguage conveyance "conveyance") | domainEnglishFormat.kif 17119-17119 |
antecedent |
![]() |
(=> (and (instance ?TRANSPORT TransportViaRoadVehicle) (conveyance ?TRANSPORT ?VEHICLE)) (instance ?VEHICLE RoadVehicle)) |
Mid-level-ontology.kif 22990-22994 |
consequent |
![]() |
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE)) |
Mid-level-ontology.kif 23038-23045 |
![]() |
![]() |