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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Potassium

Sigma KEE - Potassium
Potassium(钾)

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


(atomicNumber Potassium 19) Mid-level-ontology.kif 27625-27625 19 是 atomic 数字
(boilingPoint Potassium
    (MeasureFn 1047.0 KelvinDegree))
Mid-level-ontology.kif 29269-29269 1047.0 凯文度boiling
(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 27633-27636
(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 29268-29268 336.8 凯文度melting
(molecularRatio Potassium 1 PotassiumChloride) Medicine.kif 5873-5873 molecularRatio , 1 and PotassiumChloride
(names Potassium "Potassium") Mid-level-ontology.kif 27623-27623 "Potassium" 的名 是
(roomTempState Potassium Solid) Mid-level-ontology.kif 31501-31501 roomTempState and 固体
(subclass Potassium ElementalSubstance) Mid-level-ontology.kif 27622-27622 元素物质subclass

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


(conventionalShortName "K" Potassium) Mid-level-ontology.kif 27624-27624 是 "K" 的 conventional 简称
(termFormat ChineseLanguage Potassium "钾") domainEnglishFormat.kif 46876-46876
(termFormat ChineseTraditionalLanguage Potassium "鉀") domainEnglishFormat.kif 46875-46875
(termFormat EnglishLanguage Potassium "potassium") domainEnglishFormat.kif 46874-46874

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


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


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