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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rhenium
Rhenium(rhenium)
Re, atomic_number_75, rhenium

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


(atomicNumber Rhenium 75) Mid-level-ontology.kif 28604-28604 75 is an atomic number of rhenium
(boilingPoint Rhenium
    (MeasureFn 5900.0 KelvinDegree))
Mid-level-ontology.kif 29381-29381 5900.0 Kelvin degree(s) is a boiling point of rhenium
(documentation Rhenium EnglishLanguage "Silvery-white metallic transition element. Obtained as a by-product of molybdenum refinement. Rhenium-molybdenum alloys are superconducting.") Mid-level-ontology.kif 28612-28614
(externalImage Rhenium "http://upload.wikimedia.org/wikipedia/commons/c/ c5/ Re-TableImage.png") pictureList.kif 1956-1956
(externalImage Rhenium "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Re%2C75.jpg") pictureList.kif 2336-2336
(externalImage Rhenium "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c6/ Re%2C75.jpg/ 125px-Re%2C75.jpg") pictureList.kif 1234-1234
(meltingPoint Rhenium
    (MeasureFn 3453.0 KelvinDegree))
Mid-level-ontology.kif 29380-29380 3453.0 Kelvin degree(s) is a melting point of rhenium
(names Rhenium "Rhenium") Mid-level-ontology.kif 28602-28602 "Rhenium" has name rhenium
(roomTempState Rhenium Solid) Mid-level-ontology.kif 31557-31557 roomTempState rhenium and solid
(subclass Rhenium ElementalSubstance) Mid-level-ontology.kif 28601-28601 Rhenium is a subclass of elemental substance

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


(conventionalShortName "Re" Rhenium) Mid-level-ontology.kif 28603-28603 Rhenium is a conventional short name of "Re"
(termFormat ChineseLanguage Rhenium "铼") domainEnglishFormat.kif 49906-49906
(termFormat ChineseTraditionalLanguage Rhenium "錸") domainEnglishFormat.kif 49905-49905
(termFormat EnglishLanguage Rhenium "rhenium") domainEnglishFormat.kif 49904-49904

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


(=>
    (and
        (instance ?ATOM Rhenium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 186.2 Amu)))
Mid-level-ontology.kif 28606-28610


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