No TPTP formula. May not be expressible in strict first order. | Military.kif 245-245 | MilitaryRank est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Military.kif 255-255 | USMilitaryRank est une sous-classe de MilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 266-266 | EnlistedSoldierRank est une sous-classe de MilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 271-271 | CommissionedOfficerRank est une sous-classe de MilitaryRank |