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 27862-27862
(boilingPoint Rubidium
    (MeasureFn 961.0 KelvinDegree))
Mid-level-ontology.kif 29242-29242
(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 27870-27874
(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 29241-29241
(names Rubidium "Rubidium") Mid-level-ontology.kif 27860-27860
(roomTempState Rubidium Solid) Mid-level-ontology.kif 31483-31483
(subclass Rubidium ElementalSubstance) Mid-level-ontology.kif 27859-27859

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


(conventionalShortName "Rb" Rubidium) Mid-level-ontology.kif 27861-27861
(termFormat ChineseLanguage Rubidium "铷") domainEnglishFormat.kif 50588-50588
(termFormat ChineseTraditionalLanguage Rubidium "銣") domainEnglishFormat.kif 50587-50587
(termFormat EnglishLanguage Rubidium "rubidium") domainEnglishFormat.kif 50586-50586

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


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


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