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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - VarianceAverageFn
VarianceAverageFn

appearance as argument number 1
-------------------------


(documentation VarianceAverageFn ChineseLanguage "这是用于定义 VarianceFn 的“辅助”函数。(VarianceAverageFn ?M ?L) 的 意思是序列(List) ?L内每一个数值和平均值 ?M 之差的平方的总和。") Weather.kif 2169-2170
(documentation VarianceAverageFn EnglishLanguage "A 'helper' function that supports the definition of VarianceFn. (VarianceAverageFn ?M ?L) means the sum of squared difference between each number and and the mean (?M) in the List ?L.") Weather.kif 2167-2168
(domain VarianceAverageFn 1 Number) Weather.kif 2171-2171 The number 1 argument of variance average function is an instance of number
(domain VarianceAverageFn 2 List) Weather.kif 2172-2172 The number 2 argument of variance average function is an instance of list
(instance VarianceAverageFn BinaryFunction) Weather.kif 2173-2173 Variance average function is an instance of binary function
(range VarianceAverageFn Number) Weather.kif 2176-2176 The range of variance average function is an instance of number

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


(format EnglishLanguage VarianceAverageFn "VarianceAverageFn of %2 with the mean of %1") Weather.kif 2175-2175
(termFormat ChineseLanguage VarianceAverageFn "方差均差函数") domainEnglishFormat.kif 27859-27859
(termFormat EnglishLanguage VarianceAverageFn "variance average function") domainEnglishFormat.kif 27858-27858

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


(=>
    (and
        (equal ?VA
            (VarianceAverageFn ?M ?L))
        (equal 1
            (ListLengthFn ?L)))
    (equal ?VA
        (MultiplicationFn
            (SubtractionFn ?M
                (ListOrderFn ?L 1))
            (SubtractionFn ?M
                (ListOrderFn ?L 1)))))
Weather.kif 2211-2222
(=>
    (and
        (equal ?VA
            (VarianceAverageFn ?M ?L))
        (greaterThan
            (ListLengthFn ?L) 1))
    (equal ?VA
        (AdditionFn
            (VarianceAverageFn ?M
                (ListOrderFn ?L 1))
            (VarianceAverageFn ?M
                (SubListFn 2
                    (ListLengthFn ?L) ?L)))))
Weather.kif 2178-2190

consequent
-------------------------


(=>
    (and
        (equal ?V
            (VarianceFn ?L))
        (equal ?M
            (AverageFn ?L)))
    (equal ?V
        (DivisionFn
            (VarianceAverageFn ?M ?L)
            (ListLengthFn ?L))))
Weather.kif 2200-2209
(=>
    (and
        (equal ?VA
            (VarianceAverageFn ?M ?L))
        (greaterThan
            (ListLengthFn ?L) 1))
    (equal ?VA
        (AdditionFn
            (VarianceAverageFn ?M
                (ListOrderFn ?L 1))
            (VarianceAverageFn ?M
                (SubListFn 2
                    (ListLengthFn ?L) ?L)))))
Weather.kif 2178-2190


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