TreeView Knowledge Base Browser - Mean3MinutesWindSpeedFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Mean3MinutesWindSpeedFn

Sigma KEE - Mean3MinutesWindSpeedFn

Mean3MinutesWindSpeedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2248-2251
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2242-2246
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2253-2253	O argumento numero 1 de Mean3MinutesWindSpeedFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2254-2254	O argumento numero 2 de Mean3MinutesWindSpeedFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2256-2256	Mean3MinutesWindSpeedFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2255-2255	O contra-dominio de Mean3MinutesWindSpeedFn 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 2252-2252
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2247-2247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10376-10376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10375-10375

antecedent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 2258-2275

Funcao de Quantidade e' igual a Mean3MinutesWindSpeedFn Area Geografica and Intervalo Temporal
Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 5 SecondDuration(s) measuringListDuration Entidade and 2 MinuteDuration(s) 36 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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