Rhenium |
appearance as argument number 1 |
(atomicNumber Rhenium 75) | Mid-level-ontology.kif 28837-28837 | |
(boilingPoint Rhenium (MeasureFn 5900.0 KelvinDegree)) |
Mid-level-ontology.kif 29614-29614 | |
(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 28845-28847 | |
(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 29613-29613 | |
(names Rhenium "Rhenium") | Mid-level-ontology.kif 28835-28835 | |
(roomTempState Rhenium Solid) | Mid-level-ontology.kif 31790-31790 | |
(subclass Rhenium ElementalSubstance) | Mid-level-ontology.kif 28834-28834 |
appearance as argument number 2 |
(conventionalShortName "Re" Rhenium) | Mid-level-ontology.kif 28836-28836 | |
(termFormat ChineseLanguage Rhenium "铼") | domainEnglishFormat.kif 49939-49939 | |
(termFormat ChineseTraditionalLanguage Rhenium "錸") | domainEnglishFormat.kif 49938-49938 | |
(termFormat EnglishLanguage Rhenium "rhenium") | domainEnglishFormat.kif 49937-49937 |
antecedent |
(=> (and (instance ?ATOM Rhenium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 186.2 Amu))) |
Mid-level-ontology.kif 28839-28843 |