StandardDeviationFn |
appearance as argument number 1 |
(documentation StandardDeviationFn ChineseLanguage "这是一个 UnaryFunction,它计算出一个 List 内的数值的标准偏差。标准偏差量度 List 内数值的 偏差或弥散度,是该序列方差值的 SquareRootFn。") | Weather.kif 1501-1502 | |
(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 1499-1500 | |
(domain StandardDeviationFn 1 List) | Weather.kif 1503-1503 | Die Zahl 1 Argument von StandardDeviationFn ist ein fall von List %n{nicht} |
(instance StandardDeviationFn UnaryFunction) | Weather.kif 1504-1504 | StandardDeviationFn ist ein fall von UnaryFunction %n{nicht} |
(range StandardDeviationFn Number) | Weather.kif 1506-1506 | bildbereich von StandardDeviationFn ist ein fall von Number {nicht} |
appearance as argument number 2 |
(format EnglishLanguage StandardDeviationFn "The StandardDeviationFn of %1") | Weather.kif 1505-1505 | |
(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 1508-1513 | RealNumber ist gleich StandardDeviationFn List %n{nicht} genau dann wenn ** RealNumber ist gleich die quadratwurzel von VarianceFn ** List %n{nicht} |
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 1532-1547 |
|