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 43808-43808 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43807-43807 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43806-43806 |
|