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
-------------------------


(atomicNumber Potassium 19) Mid-level-ontology.kif 29252-29252
(boilingPoint Potassium
    (MeasureFn 1047.0 KelvinDegree))
Mid-level-ontology.kif 30896-30896
(documentation Potassium EnglishLanguage "Soft silvery metallic element belonging to group 1 of the periodic table (alkali metals). Occurs naturally in seawater and a many minerals. Highly reactive, chemically, it resembles sodium in its behavior and compounds. Discovered by Sir Humphry Davy in 1807.") Mid-level-ontology.kif 29260-29263
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ K_TableImage.png") pictureList.kif 1930-1930
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ K%2C19.jpg") pictureList.kif 2319-2319
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f1/ K%2C19.jpg/ 125px_K%2C19.jpg") pictureList.kif 1218-1218
(meltingPoint Potassium
    (MeasureFn 336.8 KelvinDegree))
Mid-level-ontology.kif 30895-30895
(molecularRatio Potassium 1 PotassiumChloride) Medicine.kif 5889-5889
(names Potassium "Potassium") Mid-level-ontology.kif 29250-29250
(roomTempState Potassium Solid) Mid-level-ontology.kif 33173-33173
(subclass Potassium ElementalSubstance) Mid-level-ontology.kif 29249-29249

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


(conventionalShortName "K" Potassium) Mid-level-ontology.kif 29251-29251
(termFormat ChineseLanguage Potassium "钾") domainEnglishFormat.kif 46905-46905
(termFormat ChineseTraditionalLanguage Potassium "鉀") domainEnglishFormat.kif 46904-46904
(termFormat EnglishLanguage Potassium "potassium") domainEnglishFormat.kif 46903-46903

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


(=>
    (and
        (instance ?ATOM Potassium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 39.0983 Amu)))
Mid-level-ontology.kif 29254-29258


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