No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1407-1409 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1403-1406 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1410-1410 |
Le nombre 1 argument de waveHeight est une instance de WaterWave |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1411-1411 |
Le nombre 2 argument de waveHeight est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1412-1412 |
waveHeight est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1413-1413 |
waveHeight est une sous-classe de quantit� constante |