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 28158-28158
(boilingPoint Rubidium
    (MeasureFn 961.0 KelvinDegree))
Mid-level-ontology.kif 29538-29538
(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 28166-28170
(externalImage Rubidium "http://upload.wikimedia.org/wikipedia/commons/1/ 1a/ Rb-TableImage.png") pictureList.kif 1964-1964
(externalImage Rubidium "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Rb%2C37.jpg") pictureList.kif 2339-2339
(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 29537-29537
(names Rubidium "Rubidium") Mid-level-ontology.kif 28156-28156
(roomTempState Rubidium Solid) Mid-level-ontology.kif 31752-31752
(subclass Rubidium ElementalSubstance) Mid-level-ontology.kif 28155-28155

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


(conventionalShortName "Rb" Rubidium) Mid-level-ontology.kif 28157-28157
(termFormat ChineseLanguage Rubidium "铷") domainEnglishFormat.kif 50623-50623
(termFormat ChineseTraditionalLanguage Rubidium "銣") domainEnglishFormat.kif 50622-50622
(termFormat EnglishLanguage Rubidium "rubidium") domainEnglishFormat.kif 50621-50621

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


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


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