(subclass MilitaryRank SkilledOccupation) | Military.kif 245-245 | MilitaryRank est une sous-classe de SkilledOccupation |
(subclass USMilitaryRank MilitaryRank) | Military.kif 255-255 | USMilitaryRank est une sous-classe de MilitaryRank |
(subclass EnlistedSoldierRank MilitaryRank) | Military.kif 266-266 | EnlistedSoldierRank est une sous-classe de MilitaryRank |
(subclass CommissionedOfficerRank MilitaryRank) | Military.kif 271-271 | CommissionedOfficerRank est une sous-classe de MilitaryRank |