|
|
   Rhenium
|
|
|
| appearance as argument number 1 |
|
|
| (atomicNumber Rhenium 75) | Mid-level-ontology.kif 28604-28604 | |
| (boilingPoint Rhenium (MeasureFn 5900.0 KelvinDegree)) |
Mid-level-ontology.kif 29381-29381 | |
| (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 | |
| (names Rhenium "Rhenium") | Mid-level-ontology.kif 28602-28602 | |
| (roomTempState Rhenium Solid) | Mid-level-ontology.kif 31557-31557 | |
| (subclass Rhenium ElementalSubstance) | Mid-level-ontology.kif 28601-28601 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Re" Rhenium) | Mid-level-ontology.kif 28603-28603 | |
| (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 |
|
|
|
