| appearance as argument number 1 |
|
| (documentation VarianceAverageFn ChineseLanguage "这是用于定义 VarianceFn 的“辅助”函数。(VarianceAverageFn ?M ?L) 的 意思是序列(List) ？L内每一个数值和平均值 ?M 之差的平方的总和。") | Weather.kif 1427-1428 | |
| (documentation VarianceAverageFn EnglishLanguage "A 'helper' function that supports the definition of VarianceFn. (VarianceAverageFn ?M ?L) means the sum of squared difference between each number and and the mean (?M) in the List ?L.") | Weather.kif 1425-1426 | |
| (domain VarianceAverageFn 1 Number) | Weather.kif 1429-1429 | |
| (domain VarianceAverageFn 2 List) | Weather.kif 1430-1430 | |
| (instance VarianceAverageFn BinaryFunction) | Weather.kif 1431-1431 | |
| (range VarianceAverageFn Number) | Weather.kif 1434-1434 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage VarianceAverageFn "VarianceAverageFn of %2 with the mean of %1") | Weather.kif 1433-1433 | |
| (termFormat ChineseLanguage VarianceAverageFn "方差均差函数") | domainEnglishFormat.kif 27876-27876 | |
| (termFormat EnglishLanguage VarianceAverageFn "variance average function") | domainEnglishFormat.kif 27875-27875 |
| antecedent |
|
|
| (=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (equal 1 (ListLengthFn ?L))) (equal ?VA (MultiplicationFn (SubtractionFn ?M (ListOrderFn ?L 1)) (SubtractionFn ?M (ListOrderFn ?L 1))))) |
Weather.kif 1469-1480 | |
| (=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?VA (AdditionFn (VarianceAverageFn ?M (ListOrderFn ?L 1)) (VarianceAverageFn ?M (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Weather.kif 1436-1448 |
| consequent |
|
|
| (=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L)))) |
Weather.kif 1458-1467 | |
| (=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?VA (AdditionFn (VarianceAverageFn ?M (ListOrderFn ?L 1)) (VarianceAverageFn ?M (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Weather.kif 1436-1448 |
|
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