(subclass EnlistedSoldierRank MilitaryRank) | Military.kif 266-266 | EnlistedSoldierRank は MilitaryRank の subclass では %n |
(subclass NonCommissionedOfficerRank EnlistedSoldierRank) | Military.kif 299-299 | NonCommissionedOfficerRank は EnlistedSoldierRank の subclass では %n |
(subclass PrivateRank EnlistedSoldierRank) | Military.kif 314-314 | PrivateRank は EnlistedSoldierRank の subclass では %n |