(subclass LARUnit MilitaryUnit) | MilitaryPersons.kif 509-509 | LARUnit è una sottoclasse di MilitaryUnit |
(subclass LARBattalion LARUnit) | MilitaryPersons.kif 540-540 | LARBattalion è una sottoclasse di LARUnit |
(subclass LARPlatoon LARUnit) | MilitaryPersons.kif 546-546 | LARPlatoon è una sottoclasse di LARUnit |