No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2223-2240 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2328-2345 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2293-2310 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2258-2275 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1904-1921 |
|