StandardDeviationFn - Sigma Knowledge base Browser

antecedent

(<=>
    (equal ?SD
        (StandardDeviationFn ?L))
    (equal ?SD
        (SquareRootFn
            (VarianceFn ?L))))

consequent

(=>
    (and
        (instance ?WW WaterWave)
        (waveHeight ?WW ?WH))
    (exists (?LIST ?WA ?U ?SWH)
        (and
            (inList ?WH ?LIST)
            (instance ?WA WaterArea)
            (eventLocated ?WW ?WA)
            (instance ?U UnitOfLength)
            (significantWaveHeight ?WA
                (WhenFn ?WW)
                (MeasureFn ?SWH ?U))
            (equal ?SWH
                (MultiplicationFn 4.0
                    (StandardDeviationFn ?LIST))))))

If X is an instance of water wave and The waveHeight of X Y., then there exist Z, W,, , V and U such that Y is a member of Z and W is an instance of water area and X is located at W and V is an instance of unit of length and significantWaveHeight in W during the time of existence of X is U V(s). and equal U and 4.0 and The StandardDeviationFn of Z

(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 2809-2810
(documentation StandardDeviationFn ChineseLanguage "这是一个 UnaryFunction，它计算出一个 List 内的数值的标准偏差。标准偏差量度 List 内数值的偏差或弥散度，是该序列方差值的 SquareRootFn。")	Weather.kif 2811-2812
(domain StandardDeviationFn 1 List)	Weather.kif 2813-2813	The number 1 argument of standard deviation is an instance of list
(instance StandardDeviationFn UnaryFunction)	Weather.kif 2814-2814	Standard deviation is an instance of unary function
(range StandardDeviationFn Number)	Weather.kif 2816-2816	The range of standard deviation is an instance of number

(format EnglishLanguage StandardDeviationFn "The StandardDeviationFn of %1")	Weather.kif 2815-2815
(termFormat EnglishLanguage StandardDeviationFn "standard deviation")	domainEnglishFormat.kif 27857-27857
(termFormat ChineseLanguage StandardDeviationFn "标准偏差")	domainEnglishFormat.kif 27858-27858