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 O argumento numero 1 de StandardDeviationFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order. Weather.kif 1504-1504 StandardDeviationFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Weather.kif 1506-1506 O contra-dominio de StandardDeviationFn e' uma instancia de Numero

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 Numero Real e' igual a StandardDeviationFn Lista Numero Real e' igual a a raiz quadrada de VarianceFn Lista

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