Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VarianceAverageFn |
| appearance as argument number 1 |
|
| (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 2752-2753 | |
| (documentation VarianceAverageFn ChineseLanguage "这是用于定义 VarianceFn 的“辅助”函数。(VarianceAverageFn ?M ?L) 的 意思是序列(List) ？L内每一个数值和平均值 ?M 之差的平方的总和。") | Weather.kif 2754-2755 | |
| (domain VarianceAverageFn 1 Number) | Weather.kif 2756-2756 | The number 1 argument of variance average function is an instance of number |
| (domain VarianceAverageFn 2 List) | Weather.kif 2757-2757 | The number 2 argument of variance average function is an instance of list |
| (instance VarianceAverageFn BinaryFunction) | Weather.kif 2758-2758 | Variance average function is an instance of binary function |
| (range VarianceAverageFn Number) | Weather.kif 2761-2761 | The range of variance average function is an instance of number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage VarianceAverageFn "VarianceAverageFn of %2 with the mean of %1") | Weather.kif 2760-2760 | |
| (termFormat EnglishLanguage VarianceAverageFn "variance average function") | domainEnglishFormat.kif 27851-27851 | |
| (termFormat ChineseLanguage VarianceAverageFn "方差均差函数") | domainEnglishFormat.kif 27852-27852 |
| antecedent |
|
|
| (=> (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 2763-2775 | If equal X and VarianceAverageFn of Y with the mean of Z and length of Y is greater than 1, then equal X and (VarianceAverageFn of 1th element of Y with the mean of Z and VarianceAverageFn of the sub-list from 2 to length of Y of Y with the mean of Z) |
| (=> (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 2796-2807 | If equal X and VarianceAverageFn of Y with the mean of Z and equal 1 and length of Y, then equal X and (Z and 1th element of Y) and (Z and 1th element of Y) |
| consequent |
|
|
| (=> (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 2763-2775 | If equal X and VarianceAverageFn of Y with the mean of Z and length of Y is greater than 1, then equal X and (VarianceAverageFn of 1th element of Y with the mean of Z and VarianceAverageFn of the sub-list from 2 to length of Y of Y with the mean of Z) |
| (=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L)))) |
Weather.kif 2785-2794 | 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 |
|