No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1411-1413 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1407-1410 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1414-1414 |
Le nombre 1 argument de waveHeight est une instance de WaterWave |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1415-1415 |
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 1416-1416 |
waveHeight est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1417-1417 |
waveHeight est une sous-classe de quantit� constante |