![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AssaultAmphibianBatallion(assault amphibian batallion) |
| appearance as argument number 1 |
|
|
| (subclass AssaultAmphibianBatallion Battalion) | MilitaryPersons.kif 667-667 | Assault amphibian batallion is a subclass of battalion |
| (subclass AssaultAmphibianBatallion AssaultAmphibianUnit) | MilitaryPersons.kif 668-668 | Assault amphibian batallion is a subclass of assault amphibian unit |
| (documentation AssaultAmphibianBatallion EnglishLanguage "An Assault Amphibian Batallion is a mechanized battalion of the United States Marine Corps reserve. Their primary weapon system is the Amphibious Assault Vehicle. (from Wikipedia)") | MilitaryPersons.kif 670-673 | Assault amphibian batallion is a subclass of assault amphibian unit |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AssaultAmphibianBatallion "assault amphibian batallion") | domainEnglishFormat.kif 64484-64484 |