StandardDeviationFn - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

Weather.kif 1507-1512

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
                    (StandardDeviationFn ?LIST))))))

Weather.kif 1531-1546