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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StandardDeviationFn

 Sigma KEE - StandardDeviationFn
StandardDeviationFn

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1497-1498
No TPTP formula. May not be expressible in strict first order. Weather.kif 1495-1496
No TPTP formula. May not be expressible in strict first order. Weather.kif 1499-1499 标准偏差 的 1 数量 是 串列 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1500-1500 标准偏差 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1502-1502 标准偏差 的 range 是 数字 的实例

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1501-1501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27854-27854
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27853-27853

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1504-1509 实数 equal 标准偏差 串列 若且唯若 那个 实数 equal 方差函数 那个 串列 平方根

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