| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 243-246 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 239-239 | O argumento numero 1 de highAltitudeWindVelocity e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 240-240 | O argumento numero 2 de highAltitudeWindVelocity e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 241-241 | O argumento numero 3 de highAltitudeWindVelocity e' uma instancia de Atributo Directional |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 238-238 | highAltitudeWindVelocity e' uma instancia de Predicado Ternario |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1173-1173 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1172-1172 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1171-1171 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28071-28071 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28070-28070 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28069-28069 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 257-259 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners