(subclass AssaultAmphibianUnit MilitaryUnit) | MilitaryPersons.kif 635-635 | AssaultAmphibianUnit は MilitaryUnit の subclass では %n |
(subclass AssaultAmphibianBatallion AssaultAmphibianUnit) | MilitaryPersons.kif 651-651 | AssaultAmphibianBatallion は AssaultAmphibianUnit の subclass では %n |
(subclass AssaultAmphibianPlatoon AssaultAmphibianUnit) | MilitaryPersons.kif 659-659 | AssaultAmphibianPlatoon は AssaultAmphibianUnit の subclass では %n |