No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1879-1879 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1878-1878 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1877-1877 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43680-43680 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43679-43679 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43678-43678 |
|