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 1444-1445
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1442-1443
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1446-1446	O argumento numero 1 de VarianceAverageFn e' uma instancia de Numero
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1447-1447	O argumento numero 2 de VarianceAverageFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1448-1448	VarianceAverageFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1451-1451	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 1450-1450
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 1486-1497	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 1453-1465	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 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1453-1465	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