(subclass LARUnit MilitaryUnit) | MilitaryPersons.kif 509-509 | LAR unit is a subclass of military unit |
(subclass LARBattalion LARUnit) | MilitaryPersons.kif 540-540 | LAR battalion is a subclass of LAR unit |
(subclass LARPlatoon LARUnit) | MilitaryPersons.kif 546-546 | LAR platoon is a subclass of LAR unit |