No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2533-2546 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2562-2576 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2724-2744 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2746-2767 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2705-2722 |
|