(subclass MilitaryRank SkilledOccupation) | Military.kif 245-245 | Military rank is a subclass of skilled occupation |
(subclass USMilitaryRank MilitaryRank) | Military.kif 255-255 | US military rank is a subclass of military rank |
(subclass EnlistedSoldierRank MilitaryRank) | Military.kif 266-266 | Enlisted soldier rank is a subclass of military rank |
(subclass CommissionedOfficerRank MilitaryRank) | Military.kif 271-271 | Commissioned officer rank is a subclass of military rank |