AverageFn |
appearance as argument number 1 |
![]() |
(documentation AverageFn EnglishLanguage "The average of the Numbers in a List") | Merge.kif 3286-3286 | |
(domain AverageFn 1 List) | Merge.kif 3284-3284 | AverageFn の数値 1 引数は リスト の instance では |
(instance AverageFn UnaryFunction) | Merge.kif 3283-3283 | AverageFn は 1変数関数 の instance では |
(range AverageFn RealNumber) | Merge.kif 3285-3285 | AverageFn の range は 実数 のインスタンス では |
appearance as argument number 2 |
![]() |
(format EnglishLanguage AverageFn "the average of the numbers in %1") | Merge.kif 3288-3288 | |
(termFormat EnglishLanguage AverageFn "average function") | Merge.kif 3287-3287 |
antecedent |
![]() |
(=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L)))) |
Merge.kif 3290-3297 | |
(=> (and (equal ?A (AverageFn ?L)) (inList ?N ?L)) (instance ?N Number)) |
Merge.kif 3299-3303 | |
(=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L)))) |
Weather.kif 2200-2209 |
consequent |
![]() |
![]() |
![]() |