VarianceFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VarianceFn EnglishLanguage "It is a UnaryFunction to return the variance given a List of numbers. The numerical variance computates over values in an entire population.")	Weather.kif 2777-2778
(documentation VarianceFn ChineseLanguage "这是一个 UnaryFunction，他算出一个序列(List) 的方差。数值方差计算总体数值。")	Weather.kif 2779-2779
(domain VarianceFn 1 List)	Weather.kif 2780-2780	The number 1 argument of variance function is an instance of list
(instance VarianceFn UnaryFunction)	Weather.kif 2781-2781	Variance function is an instance of unary function
(range VarianceFn Number)	Weather.kif 2783-2783	The range of variance function is an instance of number

appearance as argument number 2

(format EnglishLanguage VarianceFn "The VarianceFn %1")	Weather.kif 2782-2782
(termFormat EnglishLanguage VarianceFn "variance function")	domainEnglishFormat.kif 27854-27854
(termFormat ChineseLanguage VarianceFn "方差函数")	domainEnglishFormat.kif 27855-27855

antecedent

(=>
    (and
        (equal ?V
            (VarianceFn ?L))
        (equal ?M
            (AverageFn ?L)))
    (equal ?V
        (DivisionFn
            (VarianceAverageFn ?M ?L)
            (ListLengthFn ?L))))

If equal X and The VarianceFn Y and equal Z and the average of the numbers in Y, then equal X, VarianceAverageFn of Y with the mean of Z, and length of Y

consequent

(<=>
    (equal ?SD
        (StandardDeviationFn ?L))
    (equal ?SD
        (SquareRootFn
            (VarianceFn ?L))))