| (subclass LARUnit MilitaryUnit) | MilitaryPersons.kif 509-509 | LARUnit は MilitaryUnit の subclass では %n |
| (subclass LARBattalion LARUnit) | MilitaryPersons.kif 540-540 | LARBattalion は LARUnit の subclass では %n |
| (subclass LARPlatoon LARUnit) | MilitaryPersons.kif 546-546 | LARPlatoon は LARUnit の subclass では %n |
|
|