No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2219-2236 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2324-2341 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2289-2306 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2254-2271 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1900-1917 |
|