(subclass MilitaryRank SkilledOccupation) | Military.kif 245-245 | MilitaryRank è una sottoclasse di SkilledOccupation |
(subclass USMilitaryRank MilitaryRank) | Military.kif 255-255 | USMilitaryRank è una sottoclasse di MilitaryRank |
(subclass EnlistedSoldierRank MilitaryRank) | Military.kif 266-266 | EnlistedSoldierRank è una sottoclasse di MilitaryRank |
(subclass CommissionedOfficerRank MilitaryRank) | Military.kif 271-271 | CommissionedOfficerRank è una sottoclasse di MilitaryRank |