significantWaveHeight |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1519-1522 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1515-1518 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1524-1524 | O argumento numero 1 de significantWaveHeight e' uma instancia de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1525-1525 | O argumento numero 2 de significantWaveHeight e' uma instancia de Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1526-1526 | O argumento numero 3 de significantWaveHeight e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1527-1527 | significantWaveHeight e' uma instancia de Predicado Ternario |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1528-1528 | significantWaveHeight e' uma sub-relacao de measure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1529-1530 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27863-27863 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27862-27862 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1398-1405 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1532-1547 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1557-1566 |
|