No TPTP formula. May not be expressible in strict first order. |
Weather.kif 311-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 307-309 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 315-315 |
域 windDrivenMotion, 1 and 風 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 316-316 |
域 windDrivenMotion, 2 and Motion |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 317-317 |
例 windDrivenMotion and BinaryPredicate |