(subclass EnlistedSoldierRank MilitaryRank) | Military.kif 266-266 | EnlistedSoldierRank est une sous-classe de MilitaryRank |
(subclass NonCommissionedOfficerRank EnlistedSoldierRank) | Military.kif 299-299 | NonCommissionedOfficerRank est une sous-classe de EnlistedSoldierRank |
(subclass PrivateRank EnlistedSoldierRank) | Military.kif 314-314 | PrivateRank est une sous-classe de EnlistedSoldierRank |