(subclass AssaultAmphibianUnit MilitaryUnit) | MilitaryPersons.kif 635-635 | Assault amphibian unit is a subclass of military unit |
(subclass AssaultAmphibianBatallion AssaultAmphibianUnit) | MilitaryPersons.kif 651-651 | Assault amphibian batallion is a subclass of assault amphibian unit |
(subclass AssaultAmphibianPlatoon AssaultAmphibianUnit) | MilitaryPersons.kif 659-659 | Assault amphibian platoon is a subclass of assault amphibian unit |