(subclass Battalion MilitaryUnit) | Military.kif 732-732 | Battalion is a subclass of military unit |
(subclass LARBattalion Battalion) | MilitaryPersons.kif 539-539 | LAR battalion is a subclass of battalion |
(subclass AssaultAmphibianBatallion Battalion) | MilitaryPersons.kif 650-650 | Assault amphibian batallion is a subclass of battalion |