No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3109-3114 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3178-3183 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3122-3129 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3150-3157 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3164-3171 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3136-3143 |
|