No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1848-1850 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1843-1846 |
|
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. |
Weather.kif 1847-1847 |
|
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 |
|