No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2443-2457 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2365-2384 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 740-751 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 681-691 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 660-670 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 716-727 |
|