VarianceFn |
appearance as argument number 1 |
(documentation VarianceFn ChineseLanguage "这是一个 UnaryFunction, 他算出一个序列(List) 的方差。数值方差计算总体数值。") | Weather.kif 1469-1469 | |
(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 1467-1468 | |
(domain VarianceFn 1 List) | Weather.kif 1470-1470 | Die Zahl 1 Argument von VarianceFn ist ein fall von List %n{nicht} |
(instance VarianceFn UnaryFunction) | Weather.kif 1471-1471 | VarianceFn ist ein fall von UnaryFunction %n{nicht} |
(range VarianceFn Number) | Weather.kif 1473-1473 | bildbereich von VarianceFn ist ein fall von Number {nicht} |
appearance as argument number 2 |
(format EnglishLanguage VarianceFn "The VarianceFn %1") | Weather.kif 1472-1472 | |
(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 1475-1484 |
|
consequent |
(<=> (equal ?SD (StandardDeviationFn ?L)) (equal ?SD (SquareRootFn (VarianceFn ?L)))) |
Weather.kif 1508-1513 | RealNumber ist gleich StandardDeviationFn List %n{nicht} genau dann wenn ** RealNumber ist gleich die quadratwurzel von VarianceFn ** List %n{nicht} |