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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StandardDeviationFn

Sigma KEE - StandardDeviationFn
StandardDeviationFn

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


(documentation StandardDeviationFn ChineseLanguage "这是一个 UnaryFunction,它计算出一个 List 内的数值的标准偏差。标准偏差量度 List 内数值的 偏差或弥散度,是该序列方差值的 SquareRootFn。") Weather.kif 1500-1501
(documentation StandardDeviationFn EnglishLanguage "It is a UnaryFunction to return the standard deviation of a List of numbers. Standard deviation measures the amount of variation or dispersion of the numbers in the list. It is the SquareRootFn of the variance of the list.") Weather.kif 1498-1499
(domain StandardDeviationFn 1 List) Weather.kif 1502-1502 标准偏差 的 1 数量 是 串列instance
(instance StandardDeviationFn UnaryFunction) Weather.kif 1503-1503 标准偏差一元函数instance
(range StandardDeviationFn Number) Weather.kif 1505-1505 标准偏差range数字 的实例

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


(format EnglishLanguage StandardDeviationFn "The StandardDeviationFn of %1") Weather.kif 1504-1504
(termFormat ChineseLanguage StandardDeviationFn "标准偏差") domainEnglishFormat.kif 27845-27845
(termFormat EnglishLanguage StandardDeviationFn "standard deviation") domainEnglishFormat.kif 27844-27844

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


(<=>
    (equal ?SD
        (StandardDeviationFn ?L))
    (equal ?SD
        (SquareRootFn
            (VarianceFn ?L))))
Weather.kif 1507-1512 实数 equal 标准偏差 串列 若且唯若 那个 实数 equal 方差函数 那个 串列 平方根

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


(=>
    (and
        (instance ?WW WaterWave)
        (waveHeight ?WW ?WH))
    (exists (?LIST ?WA ?U)
        (and
            (inList ?WH ?LIST)
            (instance ?WA WaterArea)
            (eventLocated ?WW ?WA)
            (instance ?U LengthMeasure)
            (significantWaveHeight ?WA
                (WhenFn ?WW)
                (MeasureFn ?SWH ?U))
            (equal ?SWH
                (MultiplicationFn 4.0
                    (StandardDeviationFn ?LIST))))))
Weather.kif 1531-1546


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