MilitaryWaterVehicle |
appearance as argument number 1 |
(documentation MilitaryWaterVehicle EnglishLanguage "MilitaryWaterVehicle is the class of all WaterVehicle owned or leased for use by some MilitaryOrganization.") | Military.kif 152-153 | |
(subclass MilitaryWaterVehicle WaterVehicle) | Military.kif 151-151 |
appearance as argument number 2 |
(subclass MilitaryShip MilitaryWaterVehicle) | Military.kif 188-188 | |
(termFormat ChineseLanguage MilitaryWaterVehicle "军用水车") | domainEnglishFormat.kif 37804-37804 | |
(termFormat ChineseTraditionalLanguage MilitaryWaterVehicle "軍用水車") | domainEnglishFormat.kif 37803-37803 | |
(termFormat EnglishLanguage MilitaryWaterVehicle "military water vehicle") | domainEnglishFormat.kif 37802-37802 |