No TPTP formula. May not be expressible in strict first order. |
Military.kif 271-271 |
CommissionedOfficerRank 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 255-255 |
USMilitaryRank est une sous-classe de MilitaryRank |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37703-37703 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37702-37702 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37701-37701 |
|