(subclass LARUnit MilitaryUnit) | MilitaryPersons.kif 509-509 | LARUnit est une sous-classe de MilitaryUnit |
(subclass LARBattalion LARUnit) | MilitaryPersons.kif 540-540 | LARBattalion est une sous-classe de LARUnit |
(subclass LARPlatoon LARUnit) | MilitaryPersons.kif 546-546 | LARPlatoon est une sous-classe de LARUnit |