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 27562-27562 atomicNumber Potassium and 19
(boilingPoint Potassium
    (MeasureFn 1047.0 KelvinDegree))
Mid-level-ontology.kif 29206-29206 boilingPoint Potassium and 1047.0 の KelvinDegree(s)
(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 27570-27573
(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 29205-29205 meltingPoint Potassium and 336.8 の KelvinDegree(s)
(molecularRatio Potassium 1 PotassiumChloride) Medicine.kif 5873-5873 molecularRatio Potassium, 1 and PotassiumChloride
(names Potassium "Potassium") Mid-level-ontology.kif 27560-27560 "Potassium" は Potassiumname を 持って %n{ない}
(roomTempState Potassium Solid) Mid-level-ontology.kif 31465-31465 roomTempState Potassium and Solid
(subclass Potassium ElementalSubstance) Mid-level-ontology.kif 27559-27559 Potassium単体subclass では %n

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


(conventionalShortName "K" Potassium) Mid-level-ontology.kif 27561-27561 conventionalShortName "K" and Potassium
(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 27564-27568


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