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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Potassium
Potassium(potassium)
K, atomic_number_19, potassium

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


(atomicNumber Potassium 19) Mid-level-ontology.kif 25930-25930 19 is an atomic number of potassium
(boilingPoint Potassium
    (MeasureFn 1047 KelvinDegree))
Mid-level-ontology.kif 27482-27482 1047 Kelvin degree(s) is a boiling point of potassium
(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 25937-25940
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ K-TableImage.png") pictureList.kif 1932-1932
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ K%2C19.jpg") pictureList.kif 2321-2321
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f1/ K%2C19.jpg/ 125px-K%2C19.jpg") pictureList.kif 1219-1219
(meltingPoint Potassium
    (MeasureFn 336.8 KelvinDegree))
Mid-level-ontology.kif 27481-27481 336.8 Kelvin degree(s) is a melting point of potassium
(names Potassium "Potassium") Mid-level-ontology.kif 25928-25928 "Potassium" has name potassium
(subclass Potassium ElementalSubstance) Mid-level-ontology.kif 25927-25927 Potassium is a subclass of elemental substance

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


(conventionalShortName "K" Potassium) Mid-level-ontology.kif 25929-25929 Potassium is a conventional short name of "K"
(termFormat ChineseLanguage Potassium "钾") domainEnglishFormat.kif 46868-46868
(termFormat ChineseTraditionalLanguage Potassium "鉀") domainEnglishFormat.kif 46867-46867
(termFormat EnglishLanguage Potassium "potassium") domainEnglishFormat.kif 46866-46866

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


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


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