(documentation VarianceAverageFn ChineseLanguage "这是用于定义 VarianceFn 的“辅助”函数。(VarianceAverageFn ?M ?L) 的 意思是序列(List) ？L内每一个数值和平均值 ?M 之差的平方的总和。") 
Weather.kif 14441445 

(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 14421443 

(domain VarianceAverageFn 1 Number) 
Weather.kif 14461446 
The number 1 argument of variance average function is an instance of number 
(domain VarianceAverageFn 2 List) 
Weather.kif 14471447 
The number 2 argument of variance average function is an instance of list 
(instance VarianceAverageFn BinaryFunction) 
Weather.kif 14481448 
Variance average function is an instance of binary function 
(range VarianceAverageFn Number) 
Weather.kif 14511451 
The range of variance average function is an instance of number 