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 3157-3157
(domain AverageFn 1 List) Merge.kif 3155-3155 domain AverageFn, 1 and List
(instance AverageFn UnaryFunction) Merge.kif 3154-3154 instance AverageFn and UnaryFunction
(range AverageFn Number) Merge.kif 3156-3156 range AverageFn and Number

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (greaterThan
            (ListLengthFn ?L) 0))
    (equal ?A
        (DivisionFn
            (ListSumFn ?L)
            (ListLengthFn ?L))))
Merge.kif 3161-3168
(=>
    (and
        (equal ?V
            (VarianceFn ?L))
        (equal ?M
            (AverageFn ?L)))
    (equal ?V
        (DivisionFn
            (VarianceAverageFn ?M ?L)
            (ListLengthFn ?L))))
Weather.kif 1078-1087


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 3.0 is open source software produced by Articulate Software and its partners