No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1852-1854 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1847-1850 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1855-1855 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1851-1851 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10403-10403 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10402-10402 |
|