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 The number 1 argument of standard deviation is an instance of list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1500-1500 Standard deviation is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Weather.kif 1502-1502 The range of standard deviation is an instance of number

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 A real number is equal to The StandardDeviationFn of a list if and only if the real number is equal to the squareRoot of The VarianceFn the list

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