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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VarianceAverageFn

 Sigma KEE - VarianceAverageFn
VarianceAverageFn

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


(documentation VarianceAverageFn ChineseLanguage "这是用于定义 VarianceFn 的“辅助”函数。(VarianceAverageFn ?M ?L) 的 意思是序列(List) ？L内每一个数值和平均值 ?M 之差的平方的总和。") Weather.kif 1440-1441
(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 1438-1439
(domain VarianceAverageFn 1 Number) Weather.kif 1442-1442 Die Zahl 1 Argument von VarianceAverageFn ist ein fall von Number %n{nicht}
(domain VarianceAverageFn 2 List) Weather.kif 1443-1443 Die Zahl 2 Argument von VarianceAverageFn ist ein fall von List %n{nicht}
(instance VarianceAverageFn BinaryFunction) Weather.kif 1444-1444 VarianceAverageFn ist ein fall von BinaryFunction %n{nicht}
(range VarianceAverageFn Number) Weather.kif 1447-1447 bildbereich von VarianceAverageFn ist ein fall von Number {nicht}

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


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

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 1482-1493
(=>
    (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 1449-1461

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


(=>
    (and
        (equal ?V
            (VarianceFn ?L))
        (equal ?M
            (AverageFn ?L)))
    (equal ?V
        (DivisionFn
            (VarianceAverageFn ?M ?L)
            (ListLengthFn ?L))))		 Weather.kif 1471-1480
(=>
    (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 1449-1461


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

Show without tree


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