AverageFn |
appearance as argument number 1 |
![]() |
(documentation AverageFn EnglishLanguage "The average of the Numbers in a List") | Merge.kif 3260-3260 | |
(domain AverageFn 1 List) | Merge.kif 3258-3258 | |
(instance AverageFn UnaryFunction) | Merge.kif 3257-3257 | |
(range AverageFn RealNumber) | Merge.kif 3259-3259 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage AverageFn "the average of the numbers in %1") | Merge.kif 3262-3262 | |
(termFormat EnglishLanguage AverageFn "average function") | Merge.kif 3261-3261 |
antecedent |
![]() |
(=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L)))) |
Merge.kif 3264-3271 | |
(=> (and (equal ?A (AverageFn ?L)) (inList ?N ?L)) (instance ?N Number)) |
Merge.kif 3273-3277 | |
(=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L)))) |
Weather.kif 1475-1484 |
consequent |
![]() |
![]() |
![]() |