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 |
O argumento numero 1 de waveHeight e' uma instancia de WaterWave |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1415-1415 |
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 1416-1416 |
waveHeight e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1417-1417 |
waveHeight e' uma sub-classe de Quantidade Constante |