| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2266-2269 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2260-2264 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2271-2271 | O argumento numero 1 de Mean2MinutesWindSpeedFn e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2272-2272 | O argumento numero 2 de Mean2MinutesWindSpeedFn e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2274-2274 | Mean2MinutesWindSpeedFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2273-2273 | O contra-dominio de Mean2MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2270-2270 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2265-2265 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10379-10379 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10378-10378 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2276-2293 |
|
|
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