|
|
   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 | MilitaryWaterVehicle ist eine teilkategorie von WaterVehicle |
| appearance as argument number 2 |
|
|
| (subclass MilitaryShip MilitaryWaterVehicle) | Military.kif 188-188 | MilitaryShip ist eine teilkategorie von MilitaryWaterVehicle |
| (termFormat ChineseLanguage MilitaryWaterVehicle "军用水车") | domainEnglishFormat.kif 37775-37775 | |
| (termFormat ChineseTraditionalLanguage MilitaryWaterVehicle "軍用水車") | domainEnglishFormat.kif 37774-37774 | |
| (termFormat EnglishLanguage MilitaryWaterVehicle "military water vehicle") | domainEnglishFormat.kif 37773-37773 |
|
|
|