| Rhenium(rhenium)
| | Re, atomic_number_75, rhenium |
| appearance as argument number 1 |
|
|
| (atomicNumber Rhenium 75) | Mid-level-ontology.kif 29668-29668 | 75 is an atomic number of rhenium |
| (boilingPoint Rhenium (MeasureFn 5900.0 KelvinDegree)) |
Mid-level-ontology.kif 30445-30445 | 5900.0 Kelvin degree(s) is a boiling point of rhenium |
| (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 29676-29678 | 5900.0 Kelvin degree(s) is a boiling point of rhenium |
| (externalImage Rhenium "http://upload.wikimedia.org/wikipedia/commons/c/ c5/ Re_TableImage.png") | pictureList.kif 1955-1955 | 5900.0 Kelvin degree(s) is a boiling point of rhenium |
| (externalImage Rhenium "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Re%2C75.jpg") | pictureList.kif 2335-2335 | 5900.0 Kelvin degree(s) is a boiling point of rhenium |
| (externalImage Rhenium "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c6/ Re%2C75.jpg/ 125px_Re%2C75.jpg") | pictureList.kif 1234-1234 | 5900.0 Kelvin degree(s) is a boiling point of rhenium |
| (meltingPoint Rhenium (MeasureFn 3453.0 KelvinDegree)) |
Mid-level-ontology.kif 30444-30444 | 3453.0 Kelvin degree(s) is a melting point of rhenium |
| (names Rhenium "Rhenium") | Mid-level-ontology.kif 29666-29666 | "Rhenium" has name rhenium |
| (roomTempState Rhenium Solid) | Mid-level-ontology.kif 32648-32648 | roomTempState rhenium and solid |
| (subclass Rhenium ElementalSubstance) | Mid-level-ontology.kif 29665-29665 | Rhenium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Re" Rhenium) | Mid-level-ontology.kif 29667-29667 | Rhenium is a conventional short name of "Re" |
| (termFormat ChineseLanguage Rhenium "铼") | domainEnglishFormat.kif 49937-49937 | Rhenium is a conventional short name of "Re" |
| (termFormat ChineseTraditionalLanguage Rhenium "錸") | domainEnglishFormat.kif 49936-49936 | Rhenium is a conventional short name of "Re" |
| (termFormat EnglishLanguage Rhenium "rhenium") | domainEnglishFormat.kif 49935-49935 | Rhenium is a conventional short name of "Re" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Rhenium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 186.2 Amu))) |
Mid-level-ontology.kif 29670-29674 |
|
|
|
|