No TPTP formula. May not be expressible in strict first order. |
Military.kif 410-410 |
USMilitaryRankE5 est un attribut successeur imm�diat de USMilitaryRankE6 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 421-421 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 420-420 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 417-417 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 419-419 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 418-418 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60928-60928 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60927-60927 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60926-60926 |
|