highAltitudeWindSpeed |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 265-267 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 262-262 | O argumento numero 1 de highAltitudeWindSpeed e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 263-263 | O argumento numero 2 de highAltitudeWindSpeed e' uma instancia de Quantidade Constante |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 261-261 | highAltitudeWindSpeed e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 260-260 | highAltitudeWindSpeed e' uma instancia de Predicado Binario |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1169-1169 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1168-1168 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1167-1167 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28065-28065 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28064-28064 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28063-28063 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 269-271 |
![]() |
![]() |