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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StandardDeviationFn
StandardDeviationFn

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


(documentation StandardDeviationFn ChineseLanguage "这是一个 UnaryFunction,它计算出一个 List 内的数值的标准偏差。标准偏差量度 List 内数值的 偏差或弥散度,是该序列方差值的 SquareRootFn。") Weather.kif 1485-1486
(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 1483-1484
(domain StandardDeviationFn 1 List) Weather.kif 1487-1487 Il numero 1 argomenti di StandardDeviationFn è un istanza di Lista
(instance StandardDeviationFn UnaryFunction) Weather.kif 1488-1488 StandardDeviationFn è un' istanza di FunzioneUnaria
(range StandardDeviationFn Number) Weather.kif 1490-1490 rango di StandardDeviationFn è un'istanza di Numero

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


(format EnglishLanguage StandardDeviationFn "The StandardDeviationFn of %1") Weather.kif 1489-1489
(termFormat ChineseLanguage StandardDeviationFn "标准偏差") domainEnglishFormat.kif 27854-27854
(termFormat EnglishLanguage StandardDeviationFn "standard deviation") domainEnglishFormat.kif 27853-27853

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


(<=>
    (equal ?SD
        (StandardDeviationFn ?L))
    (equal ?SD
        (SquareRootFn
            (VarianceFn ?L))))
Weather.kif 1492-1497 NumeroReale is uguale a StandardDeviationFn Lista NumeroReale is uguale a la radice quadrata di VarianceFn Lista

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))))))
Weather.kif 1515-1530


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