VarianceAverageFn |
appearance as argument number 1 |
(documentation VarianceAverageFn ChineseLanguage "这是用于定义 VarianceFn 的“辅助”函数。(VarianceAverageFn ?M ?L) 的 意思是序列(List) ?L内每一个数值和平均值 ?M 之差的平方的总和。") | Weather.kif 1428-1429 | |
(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 1426-1427 | |
(domain VarianceAverageFn 1 Number) | Weather.kif 1430-1430 | Il numero 1 argomenti di VarianceAverageFn è un istanza di Numero |
(domain VarianceAverageFn 2 List) | Weather.kif 1431-1431 | Il numero 2 argomenti di VarianceAverageFn è un istanza di Lista |
(instance VarianceAverageFn BinaryFunction) | Weather.kif 1432-1432 | VarianceAverageFn è un' istanza di FunzioneBinaria |
(range VarianceAverageFn Number) | Weather.kif 1435-1435 | rango di VarianceAverageFn è un'istanza di Numero |
appearance as argument number 2 |
(format EnglishLanguage VarianceAverageFn "VarianceAverageFn of %2 with the mean of %1") | Weather.kif 1434-1434 | |
(termFormat ChineseLanguage VarianceAverageFn "方差均差函数") | domainEnglishFormat.kif 27848-27848 | |
(termFormat EnglishLanguage VarianceAverageFn "variance average function") | domainEnglishFormat.kif 27847-27847 |
antecedent |
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (equal 1 (ListLengthFn ?L))) (equal ?VA (MultiplicationFn (SubtractionFn ?M (ListOrderFn ?L 1)) (SubtractionFn ?M (ListOrderFn ?L 1))))) |
Weather.kif 1470-1481 |
|
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?VA (AdditionFn (VarianceAverageFn ?M (ListOrderFn ?L 1)) (VarianceAverageFn ?M (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Weather.kif 1437-1449 |
|
consequent |
(=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L)))) |
Weather.kif 1459-1468 |
|
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?VA (AdditionFn (VarianceAverageFn ?M (ListOrderFn ?L 1)) (VarianceAverageFn ?M (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Weather.kif 1437-1449 |
|