AssaultAmphibianUnit |
appearance as argument number 1 |
(documentation AssaultAmphibianUnit EnglishLanguage "A mechanized military unit of the US MArine Corps. Their primary weapon system is the Amphibious Assault Vehicle.") | MilitaryPersons.kif 636-638 | |
(subclass AssaultAmphibianUnit MilitaryUnit) | MilitaryPersons.kif 635-635 |
appearance as argument number 2 |
(subclass AssaultAmphibianBatallion AssaultAmphibianUnit) | MilitaryPersons.kif 651-651 | |
(subclass AssaultAmphibianPlatoon AssaultAmphibianUnit) | MilitaryPersons.kif 659-659 | |
(termFormat ChineseLanguage AssaultAmphibianUnit "突击两栖动物单位") | domainEnglishFormat.kif 8742-8742 | |
(termFormat ChineseTraditionalLanguage AssaultAmphibianUnit "突擊兩棲動物單位") | domainEnglishFormat.kif 8741-8741 | |
(termFormat EnglishLanguage AssaultAmphibianUnit "assault amphibian unit") | domainEnglishFormat.kif 8740-8740 |
antecedent |
(=> (instance ?AAU AssaultAmphibianUnit) (exists (?AAV) (and (instance ?AAV AAV) (possesses ?AAU ?AAV)))) |
MilitaryPersons.kif 642-647 |