AverageFn |
appearance as argument number 1 |
![]() |
(documentation AverageFn EnglishLanguage "The average of the Numbers in a List") | Merge.kif 3273-3273 | |
(domain AverageFn 1 List) | Merge.kif 3271-3271 | The number 1 argument of average function is an instance of list |
(instance AverageFn UnaryFunction) | Merge.kif 3270-3270 | Average function is an instance of unary function |
(range AverageFn RealNumber) | Merge.kif 3272-3272 | The range of average function is an instance of real number |
appearance as argument number 2 |
![]() |
(format EnglishLanguage AverageFn "the average of the numbers in %1") | Merge.kif 3275-3275 | |
(termFormat EnglishLanguage AverageFn "average function") | Merge.kif 3274-3274 |
antecedent |
![]() |
(=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L)))) |
Merge.kif 3277-3284 | |
(=> (and (equal ?A (AverageFn ?L)) (inList ?N ?L)) (instance ?N Number)) |
Merge.kif 3286-3290 |
|
(=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L)))) |
Weather.kif 1475-1484 |
|
consequent |
![]() |
![]() |
![]() |