No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1395-1397 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1391-1394 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1398-1398 |
O argumento numero 1 de waveHeight e' uma instancia de WaterWave |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1399-1399 |
O argumento numero 2 de waveHeight e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1400-1400 |
waveHeight e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1401-1401 |
waveHeight e' uma sub-classe de Quantidade Constante |