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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rubidium
Rubidium

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


(atomicNumber Rubidium 37) Mid-level-ontology.kif 27925-27925
(boilingPoint Rubidium
    (MeasureFn 961.0 KelvinDegree))
Mid-level-ontology.kif 29305-29305
(documentation Rubidium EnglishLanguage "Soft silvery metallic element, belongs to group 1 of the periodic table. Rb-97, the naturally occurring isotope, is radioactive. It is highly reactive, with properties similar to other elements in group 1, like igniting spontaneously in air. Discovered spectroscopically in 1861 by W. Bunsen and G.R. Kirchoff.") Mid-level-ontology.kif 27933-27937
(externalImage Rubidium "http://upload.wikimedia.org/wikipedia/commons/1/ 1a/ Rb-TableImage.png") pictureList.kif 1965-1965
(externalImage Rubidium "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Rb%2C37.jpg") pictureList.kif 2340-2340
(externalImage Rubidium "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d9/ Rb%2C37.jpg/ 125px-Rb%2C37.jpg") pictureList.kif 1240-1240
(meltingPoint Rubidium
    (MeasureFn 312.2 KelvinDegree))
Mid-level-ontology.kif 29304-29304
(names Rubidium "Rubidium") Mid-level-ontology.kif 27923-27923
(roomTempState Rubidium Solid) Mid-level-ontology.kif 31519-31519
(subclass Rubidium ElementalSubstance) Mid-level-ontology.kif 27922-27922

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


(conventionalShortName "Rb" Rubidium) Mid-level-ontology.kif 27924-27924
(termFormat ChineseLanguage Rubidium "铷") domainEnglishFormat.kif 50590-50590
(termFormat ChineseTraditionalLanguage Rubidium "銣") domainEnglishFormat.kif 50589-50589
(termFormat EnglishLanguage Rubidium "rubidium") domainEnglishFormat.kif 50588-50588

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


(=>
    (and
        (instance ?ATOM Rubidium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 85.47 Amu)))
Mid-level-ontology.kif 27927-27931


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