(subclass EnlistedSoldierRank MilitaryRank) | Military.kif 266-266 | Enlisted soldier rank is a subclass of military rank |
(subclass NonCommissionedOfficerRank EnlistedSoldierRank) | Military.kif 299-299 | Non commissioned officer rank is a subclass of enlisted soldier rank |
(subclass PrivateRank EnlistedSoldierRank) | Military.kif 314-314 | Private rank is a subclass of enlisted soldier rank |