No TPTP formula. May not be expressible in strict first order. |
Weather.kif 284-287 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6400-6400 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5966-5966 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 281-281 |
Downwind est une instance de attribut positionnel |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 282-282 |
Downwind est un sous-attribut de Downstream |