(subclass NonCommissionedOfficerRank EnlistedSoldierRank) | Military.kif 299-299 | NonCommissionedOfficerRank は EnlistedSoldierRank の subclass では %n |
(subclass JuniorNCORank NonCommissionedOfficerRank) | Military.kif 308-308 | JuniorNCORank は NonCommissionedOfficerRank の subclass では %n |
(subclass SeniorNCORank NonCommissionedOfficerRank) | Military.kif 311-311 | SeniorNCORank は NonCommissionedOfficerRank の subclass では %n |