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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Potassium

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

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


(atomicNumber Potassium 19) Mid-level-ontology.kif 27574-27574 19 is an atomic number of potassium
(boilingPoint Potassium
    (MeasureFn 1047.0 KelvinDegree))
Mid-level-ontology.kif 29218-29218 1047.0 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 27582-27585
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ K-TableImage.png") pictureList.kif 1931-1931
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ K%2C19.jpg") pictureList.kif 2320-2320
(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 29217-29217 336.8 Kelvin degree(s) is a melting point of potassium
(molecularRatio Potassium 1 PotassiumChloride) Medicine.kif 5873-5873 The number of molecules of potassium in a molecule of PotassiumChloride is 1
(names Potassium "Potassium") Mid-level-ontology.kif 27572-27572 "Potassium" has name potassium
(roomTempState Potassium Solid) Mid-level-ontology.kif 31469-31469 roomTempState potassium and solid
(subclass Potassium ElementalSubstance) Mid-level-ontology.kif 27571-27571 Potassium is a subclass of elemental substance

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


(conventionalShortName "K" Potassium) Mid-level-ontology.kif 27573-27573 Potassium is a conventional short name of "K"
(termFormat ChineseLanguage Potassium "钾") domainEnglishFormat.kif 46874-46874
(termFormat ChineseTraditionalLanguage Potassium "鉀") domainEnglishFormat.kif 46873-46873
(termFormat EnglishLanguage Potassium "potassium") domainEnglishFormat.kif 46872-46872

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


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


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

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