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 29497-29497
(boilingPoint Rhenium
    (MeasureFn 5900.0 KelvinDegree))
Mid-level-ontology.kif 30274-30274
(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 29505-29507
(externalImage Rhenium "http://upload.wikimedia.org/wikipedia/commons/c/ c5/ Re_TableImage.png") pictureList.kif 1955-1955
(externalImage Rhenium "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Re%2C75.jpg") pictureList.kif 2335-2335
(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 30273-30273
(names Rhenium "Rhenium") Mid-level-ontology.kif 29495-29495
(roomTempState Rhenium Solid) Mid-level-ontology.kif 32477-32477
(subclass Rhenium ElementalSubstance) Mid-level-ontology.kif 29494-29494

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


(conventionalShortName "Re" Rhenium) Mid-level-ontology.kif 29496-29496
(termFormat ChineseLanguage Rhenium "铼") domainEnglishFormat.kif 49937-49937
(termFormat ChineseTraditionalLanguage Rhenium "錸") domainEnglishFormat.kif 49936-49936
(termFormat EnglishLanguage Rhenium "rhenium") domainEnglishFormat.kif 49935-49935

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


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


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