VarianceAverageFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - VarianceAverageFn

VarianceAverageFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2169-2170
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2167-2168
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2171-2171	The number 1 argument of variance average function is an instance of number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2172-2172	The number 2 argument of variance average function is an instance of list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2173-2173	Variance average function is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2176-2176	The range of variance average function is an instance of number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2175-2175
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27859-27859
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27858-27858

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2211-2222	If equal a real number and VarianceAverageFn of a list with the mean of another real number and equal 1 and length of the list, then equal the real number and (the other real number and 1th element of the list) and (the other real number and 1th element of the list)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2178-2190	If equal a real number and VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then equal the real number and (VarianceAverageFn of 1th element of the list with the mean of the number and VarianceAverageFn of the sub-list from 2 to length of the list of the list with the mean of the number)

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2200-2209	If equal a real number and The VarianceFn a list and equal another real number and the average of the numbers in the list, then equal the real number and VarianceAverageFn of the list with the mean of the other real number and length of the list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2178-2190	If equal a real number and VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then equal the real number and (VarianceAverageFn of 1th element of the list with the mean of the number and VarianceAverageFn of the sub-list from 2 to length of the list of the list with the mean of the number)

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