No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2031-2031 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2030-2030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2029-2029 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47192-47192 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47191-47191 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47190-47190 |
|