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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Potassium
Potassium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27625-27625 atomicNumber Potassium and 19
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29269-29269 boilingPoint Potassium and 1047.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27633-27636
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1931-1931
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2320-2320
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1218-1218
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29268-29268 meltingPoint Potassium and 336.8 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5873-5873 molecularRatio Potassium, 1 and PotassiumChloride
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27623-27623 "Potassium" se chama nome Potassium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31501-31501 roomTempState Potassium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27622-27622 Potassium e' uma sub-classe de Substancia Elementar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27624-27624 conventionalShortName "K" and Potassium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46876-46876
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46875-46875
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46874-46874

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27627-27631


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



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