AverageFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AverageFn EnglishLanguage "The average of the Numbers in a List")	Merge.kif 3126-3126
(domain AverageFn 1 List)	Merge.kif 3124-3124	The number 1 argument of average function is an instance of list
(instance AverageFn UnaryFunction)	Merge.kif 3123-3123	Average function is an instance of unary function
(range AverageFn Number)	Merge.kif 3125-3125	The range of average function is an instance of number

appearance as argument number 2

(format EnglishLanguage AverageFn "the average of the numbers in %1")	Merge.kif 3128-3128
(termFormat EnglishLanguage AverageFn "average function")	Merge.kif 3127-3127

antecedent

(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (greaterThan
            (ListLengthFn ?L) 0))
    (equal ?A
        (DivisionFn
            (ListSumFn ?L)
            (ListLengthFn ?L))))

Merge.kif 3130-3137