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 1501-1502
No TPTP formula. May not be expressible in strict first order. Weather.kif 1499-1500
No TPTP formula. May not be expressible in strict first order. Weather.kif 1503-1503 标准偏差 的 1 数量 是 串列 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1504-1504 标准偏差 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1506-1506 标准偏差 的 range 是 数字 的实例

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1505-1505
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 1508-1513 实数 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