No TPTP formula. May not be expressible in strict first order. |
Military.kif 358-358 |
USMilitaryRankE1 e' um atributo sucessor immediato de USMilitaryRankE2 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 366-366 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 367-367 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 365-365 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 369-369 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 368-368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60904-60904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60903-60903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60902-60902 |
|