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 299-299 | NonCommissionedOfficerRank est une sous-classe de EnlistedSoldierRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 314-314 | PrivateRank est une sous-classe de EnlistedSoldierRank |