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 29493-29493 19 is an atomic number of potassium
(boilingPoint Potassium
    (MeasureFn 1047.0 KelvinDegree))
Mid-level-ontology.kif 31137-31137 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 29501-29504 1047.0 Kelvin degree(s) is a boiling point of potassium
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ K_TableImage.png") pictureList.kif 1930-1930 1047.0 Kelvin degree(s) is a boiling point of potassium
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ K%2C19.jpg") pictureList.kif 2319-2319 1047.0 Kelvin degree(s) is a boiling point of potassium
(externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f1/ K%2C19.jpg/ 125px_K%2C19.jpg") pictureList.kif 1218-1218 1047.0 Kelvin degree(s) is a boiling point of potassium
(meltingPoint Potassium
    (MeasureFn 336.8 KelvinDegree))
Mid-level-ontology.kif 31136-31136 336.8 Kelvin degree(s) is a melting point of potassium
(molecularRatio Potassium 1 PotassiumChloride) Medicine.kif 5889-5889 The number of molecules of potassium in a molecule of potassium chloride is 1
(names Potassium "Potassium") Mid-level-ontology.kif 29491-29491 "Potassium" has &ames$"name" Potassium
(roomTempState Potassium Solid) Mid-level-ontology.kif 33414-33414 room temperature state potassium and solid
(subclass Potassium ElementalSubstance) Mid-level-ontology.kif 29490-29490 Potassium is a subclass of elemental substance

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


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

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


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


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