TreeView Knowledge Base Browser - VarianceAverageFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

VarianceAverageFn

Sigma KEE - VarianceAverageFn

VarianceAverageFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1428-1429
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1426-1427
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1430-1430	O argumento numero 1 de VarianceAverageFn e' uma instancia de Numero
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1431-1431	O argumento numero 2 de VarianceAverageFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1432-1432	VarianceAverageFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1435-1435	O contra-dominio de VarianceAverageFn e' uma instancia de Numero

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1434-1434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27848-27848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27847-27847

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1470-1481	Numero Real e' igual a VarianceAverageFn Numero Real and Lista 1 e' igual a comprimento de Lista Numero Real e' igual a ( Numero Real + 1th elemento de Lista) + ( Numero Real + 1th elemento de Lista)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1437-1449	Numero Real e' igual a VarianceAverageFn Numero and Lista comprimento de Lista e' maior que 1 Numero Real e' igual a (VarianceAverageFn Numero and 1th elemento de Lista + VarianceAverageFn Numero and SubListFn 2, comprimento de Lista and Lista)

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1459-1468	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1437-1449	Numero Real e' igual a VarianceAverageFn Numero and Lista comprimento de Lista e' maior que 1 Numero Real e' igual a (VarianceAverageFn Numero and 1th elemento de Lista + VarianceAverageFn Numero and SubListFn 2, comprimento de Lista and Lista)

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