TreeView Knowledge Base Browser - AverageFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AverageFn

AverageFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3273-3273
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3271-3271	O argumento numero 1 de AverageFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3270-3270	AverageFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3272-3272	O contra-dominio de AverageFn e' uma instancia de Numero Real

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3275-3275
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3274-3274

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3277-3284	Numero Real e' igual a AverageFn Lista comprimento de Lista e' maior que 0 Numero Real e' igual a ListSumFn Lista + comprimento de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3286-3290	Numero Real e' igual a AverageFn Lista Entidade e' um membro de Lista Entidade e' uma instancia de Numero
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1475-1484	Numero Real e' igual a VarianceFn Lista Numero Real e' igual a AverageFn Lista Numero Real e' igual a VarianceAverageFn Numero Real and Lista + comprimento de Lista

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2223-2240	Funcao de Quantidade e' igual a Mean10MinutesWindSpeedFn 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 10 MinuteDuration(s) 120 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2328-2345	Funcao de Quantidade e' igual a Mean1MinuteWindSpeedFn 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 1 MinuteDuration(s) 12 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2293-2310	Funcao de Quantidade e' igual a Mean2MinutesWindSpeedFn 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) 24 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
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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1904-1921	Funcao de Quantidade e' igual a Mean3SecondWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 0.25 SecondDuration(s) measuringListDuration Entidade and 3 SecondDuration(s) 12 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