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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rhenium

Sigma KEE - Rhenium
Rhenium(錸)

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


(atomicNumber Rhenium 75) Mid-level-ontology.kif 28541-28541 75 是 atomic 數字
(boilingPoint Rhenium
    (MeasureFn 5900.0 KelvinDegree))
Mid-level-ontology.kif 29318-29318 測量 5900.0 and 凱文度boiling
(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 28549-28551
(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 29317-29317 測量 3453.0 and 凱文度melting
(names Rhenium "Rhenium") Mid-level-ontology.kif 28539-28539 and "Rhenium"
(roomTempState Rhenium Solid) Mid-level-ontology.kif 31521-31521 roomTempState and 固體
(subclass Rhenium ElementalSubstance) Mid-level-ontology.kif 28538-28538 子類 and ElementalSubstance

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


(conventionalShortName "Re" Rhenium) Mid-level-ontology.kif 28540-28540 是 "Re" 的 conventional 簡稱
(termFormat ChineseLanguage Rhenium "铼") domainEnglishFormat.kif 49904-49904
(termFormat ChineseTraditionalLanguage Rhenium "錸") domainEnglishFormat.kif 49903-49903
(termFormat EnglishLanguage Rhenium "rhenium") domainEnglishFormat.kif 49902-49902

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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