(subclass NonCommissionedOfficerRank EnlistedSoldierRank) | Military.kif 299-299 | Non commissioned officer rank is a subclass of enlisted soldier rank |
(subclass JuniorNCORank NonCommissionedOfficerRank) | Military.kif 308-308 | JuniorNCO rank is a subclass of non commissioned officer rank |
(subclass SeniorNCORank NonCommissionedOfficerRank) | Military.kif 311-311 | SeniorNCO rank is a subclass of non commissioned officer rank |