TreeView Knowledge Base Browser - VarianceAverageFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

VarianceAverageFn

Sigma KEE - VarianceAverageFn

VarianceAverageFn

appearance as argument number 1

(documentation VarianceAverageFn ChineseLanguage "这是用于定义 VarianceFn 的“辅助”函数。(VarianceAverageFn ?M ?L) 的意思是序列(List) ？L内每一个数值和平均值 ?M 之差的平方的总和。")	Weather.kif 1444-1445
(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 1442-1443
(domain VarianceAverageFn 1 Number)	Weather.kif 1446-1446	VarianceAverageFn の数値 1 引数は数の instance では %n
(domain VarianceAverageFn 2 List)	Weather.kif 1447-1447	VarianceAverageFn の数値 2 引数はリストの instance では %n
(instance VarianceAverageFn BinaryFunction)	Weather.kif 1448-1448	VarianceAverageFn は 2変数関数の instance では %n
(range VarianceAverageFn Number)	Weather.kif 1451-1451	VarianceAverageFn の range は数のインスタンスでは %n

appearance as argument number 2

(format EnglishLanguage VarianceAverageFn "VarianceAverageFn of %2 with the mean of %1")	Weather.kif 1450-1450
(termFormat ChineseLanguage VarianceAverageFn "方差均差函数")	domainEnglishFormat.kif 27848-27848
(termFormat EnglishLanguage VarianceAverageFn "variance average function")	domainEnglishFormat.kif 27847-27847

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 1486-1497	実数は VarianceAverageFn 実数 and リストと equal では %n 1 はリストの length と equal では %n 実数は ( 実数 + リストの 1th element) + ( 実数 + リストの 1th element) と equal では %n
(=> (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 1453-1465	実数は VarianceAverageFn 数 and リストと equal では %n リストの length は 1 より greater では　%n 実数は (VarianceAverageFn 数 and リストの 1th element + VarianceAverageFn 数 and SubListFn 2, リストの length and リスト) と equal では %n

consequent

(=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L))))	Weather.kif 1475-1484	実数は VarianceFn リストと equal では %n 実数は AverageFn リストと equal では %n 実数は VarianceAverageFn 実数 and リスト + リストの length と equal では %n
(=> (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 1453-1465	実数は VarianceAverageFn 数 and リストと equal では %n リストの length は 1 より greater では　%n 実数は (VarianceAverageFn 数 and リストの 1th element + VarianceAverageFn 数 and SubListFn 2, リストの length and リスト) と equal では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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