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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rhenium
Rhenium

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


(atomicNumber Rhenium 75) Mid-level-ontology.kif 28553-28553 atomicNumber Rhenium and 75
(boilingPoint Rhenium
    (MeasureFn 5900.0 KelvinDegree))
Mid-level-ontology.kif 29330-29330 boilingPoint Rhenium and 5900.0 の KelvinDegree(s)
(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 28561-28563
(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 29329-29329 meltingPoint Rhenium and 3453.0 の KelvinDegree(s)
(names Rhenium "Rhenium") Mid-level-ontology.kif 28551-28551 "Rhenium" は Rheniumname を 持って %n{ない}
(roomTempState Rhenium Solid) Mid-level-ontology.kif 31525-31525 roomTempState Rhenium and Solid
(subclass Rhenium ElementalSubstance) Mid-level-ontology.kif 28550-28550 Rhenium単体subclass では %n

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


(conventionalShortName "Re" Rhenium) Mid-level-ontology.kif 28552-28552 conventionalShortName "Re" and Rhenium
(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 28555-28559


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