No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2206-2223 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2311-2328 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2276-2293 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2241-2258 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1887-1904 |
|