| (subclass MilitaryRank SkilledOccupation) | Military.kif 245-245 | MilitaryRank は SkilledOccupation の subclass では %n |
| (subclass USMilitaryRank MilitaryRank) | Military.kif 255-255 | USMilitaryRank は MilitaryRank の subclass では %n |
| (subclass EnlistedSoldierRank MilitaryRank) | Military.kif 266-266 | EnlistedSoldierRank は MilitaryRank の subclass では %n |
| (subclass CommissionedOfficerRank MilitaryRank) | Military.kif 271-271 | CommissionedOfficerRank は MilitaryRank の subclass では %n |
|
|