No TPTP formula. May not be expressible in strict first order. |
Military.kif 384-384 |
USMilitaryRankE3 est un attribut successeur imm�diat de USMilitaryRankE4 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 393-393 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 395-395 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 394-394 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 392-392 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 391-391 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60916-60916 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60915-60915 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60914-60914 |
|