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

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

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