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

(documentation VarianceAverageFn ChineseLanguage "这是用于定义 VarianceFn 的“辅助”函数。(VarianceAverageFn ?M ?L) 的意思是序列(List) ？L内每一个数值和平均值 ?M 之差的平方的总和。")	Weather.kif 1427-1428
(documentation VarianceAverageFn EnglishLanguage "A 'helper' function that supports the definition of VarianceFn. (VarianceAverageFn ?M ?L) means the sum of squared difference between each number and and the mean (?M) in the List ?L.")	Weather.kif 1425-1426
(domain VarianceAverageFn 1 Number)	Weather.kif 1429-1429	The number 1 argument of variance average function is an instance of number
(domain VarianceAverageFn 2 List)	Weather.kif 1430-1430	The number 2 argument of variance average function is an instance of list
(instance VarianceAverageFn BinaryFunction)	Weather.kif 1431-1431	Variance average function is an instance of binary function
(range VarianceAverageFn Number)	Weather.kif 1434-1434	The range of variance average function is an instance of number

appearance as argument number 2

(format EnglishLanguage VarianceAverageFn "VarianceAverageFn of %2 with the mean of %1")	Weather.kif 1433-1433
(termFormat ChineseLanguage VarianceAverageFn "方差均差函数")	domainEnglishFormat.kif 27876-27876
(termFormat EnglishLanguage VarianceAverageFn "variance average function")	domainEnglishFormat.kif 27875-27875

antecedent

(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (equal 1 (ListLengthFn ?L))) (equal ?VA (MultiplicationFn (SubtractionFn ?M (ListOrderFn ?L 1)) (SubtractionFn ?M (ListOrderFn ?L 1)))))	Weather.kif 1469-1480	If a real number is equal to VarianceAverageFn of a list with the mean of another real number and 1 is equal to length of the list, then the real number is equal to (the other real number and 1th element of the list) and (the other real number and 1th element of the list)
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?VA (AdditionFn (VarianceAverageFn ?M (ListOrderFn ?L 1)) (VarianceAverageFn ?M (SubListFn 2 (ListLengthFn ?L) ?L)))))	Weather.kif 1436-1448	If a real number is equal to VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then the real number is equal to (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

(=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L))))	Weather.kif 1458-1467	If a real number is equal to The VarianceFn a list and another real number is equal to the average of the numbers in the list, then the real number is equal to VarianceAverageFn of the list with the mean of the other real number and length of the list
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?VA (AdditionFn (VarianceAverageFn ?M (ListOrderFn ?L 1)) (VarianceAverageFn ?M (SubListFn 2 (ListLengthFn ?L) ?L)))))	Weather.kif 1436-1448	If a real number is equal to VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then the real number is equal to (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