MilitaryConvoy |
appearance as argument number 1 |
(documentation MilitaryConvoy EnglishLanguage "A Convoy of MilitaryVehicles, travelling to the same at least intermediate destination, in relatively close proximity.") | Military.kif 99-100 | |
(subclass MilitaryConvoy Convoy) | Military.kif 98-98 |
appearance as argument number 2 |
(termFormat ChineseLanguage MilitaryConvoy "军队车队") | domainEnglishFormat.kif 37571-37571 | |
(termFormat ChineseTraditionalLanguage MilitaryConvoy "軍隊車隊") | domainEnglishFormat.kif 37570-37570 | |
(termFormat EnglishLanguage MilitaryConvoy "military convoy") | domainEnglishFormat.kif 37569-37569 |
antecedent |
(=> (and (instance ?MC MilitaryConvoy) (member ?X ?MC)) (instance ?X MilitaryVehicle)) |
Military.kif 102-106 |