VarianceFn |
appearance as argument number 1 |
(documentation VarianceFn ChineseLanguage "这是一个 UnaryFunction, 他算出一个序列(List) 的方差。数值方差计算总体数值。") | Weather.kif 1453-1453 | |
(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 1451-1452 | |
(domain VarianceFn 1 List) | Weather.kif 1454-1454 | O argumento numero 1 de VarianceFn e' uma instancia de Lista |
(instance VarianceFn UnaryFunction) | Weather.kif 1455-1455 | VarianceFn e' uma instancia de funcao Unaria |
(range VarianceFn Number) | Weather.kif 1457-1457 | O contra-dominio de VarianceFn e' uma instancia de Numero |
appearance as argument number 2 |
(format EnglishLanguage VarianceFn "The VarianceFn %1") | Weather.kif 1456-1456 | |
(termFormat ChineseLanguage VarianceFn "方差函数") | domainEnglishFormat.kif 27851-27851 | |
(termFormat EnglishLanguage VarianceFn "variance function") | domainEnglishFormat.kif 27850-27850 |
antecedent |
(=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L)))) |
Weather.kif 1459-1468 |
|
consequent |
(<=> (equal ?SD (StandardDeviationFn ?L)) (equal ?SD (SquareRootFn (VarianceFn ?L)))) |
Weather.kif 1492-1497 | Numero Real e' igual a StandardDeviationFn Lista Numero Real e' igual a a raiz quadrada de VarianceFn Lista |