| MilitaryWaterVehicle(military water vehicle) | | destroyer_escort |
| 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 229-230 | |
| (subclass MilitaryWaterVehicle WaterVehicle) | Military.kif 228-228 | Military water vehicle is a subclass of water vehicle |
| appearance as argument number 2 |
|
|
| (subclass MilitaryShip MilitaryWaterVehicle) | Military.kif 265-265 | Military ship is a subclass of military water vehicle |
| (termFormat ChineseLanguage MilitaryWaterVehicle "军用水车") | domainEnglishFormat.kif 37783-37783 | Military ship is a subclass of military water vehicle |
| (termFormat ChineseTraditionalLanguage MilitaryWaterVehicle "軍用水車") | domainEnglishFormat.kif 37782-37782 | Military ship is a subclass of military water vehicle |
| (termFormat EnglishLanguage MilitaryWaterVehicle "military water vehicle") | domainEnglishFormat.kif 37781-37781 | Military ship is a subclass of military water vehicle |
|
|
|