surfaceWindDirection |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 159-164 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 156-156 | O argumento numero 1 de surfaceWindDirection e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 157-157 | O argumento numero 2 de surfaceWindDirection e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 155-155 | surfaceWindDirection e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2419-2419 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2418-2418 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2417-2417 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56319-56319 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56318-56318 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56317-56317 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 166-174 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 182-187 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 176-180 |
|