No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1895-1895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1894-1894 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1893-1893 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43806-43806 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43805-43805 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43804-43804 |
|