No TPTP formula. May not be expressible in strict first order. |
Weather.kif 323-325 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 319-321 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 327-327 |
Le nombre 1 argument de windDrivenMotion est une instance de Wind |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 328-328 |
Le nombre 2 argument de windDrivenMotion est une instance de d�palcement |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 329-329 |
windDrivenMotion est une instance de pr�dicat binaire |