No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2537-2550 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2566-2580 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2728-2748 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2750-2771 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2709-2726 |
|