No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3092-3097 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3161-3166 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3105-3112 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3133-3140 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3147-3154 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3119-3126 |
|