Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AverageFn
AverageFn

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners