No TPTP formula. May not be expressible in strict first order. |
Military.kif 449-449 |
USMilitaryRankE8 est un attribut successeur imm�diat de USMilitaryRankE9 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 462-462 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 461-461 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 463-463 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 467-467 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 466-466 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 464-464 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 465-465 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60946-60946 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60945-60945 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60944-60944 |
|