| Ruthenium(ruthenium)
| | Ru, atomic_number_44, ruthenium |
| appearance as argument number 1 |
|
|
| (atomicNumber Ruthenium 44) | Mid-level-ontology.kif 28284-28284 | 44 is an atomic number of ruthenium |
| (boilingPoint Ruthenium (MeasureFn 4173.0 KelvinDegree)) |
Mid-level-ontology.kif 29552-29552 | 4173.0 Kelvin degree(s) is a boiling point of ruthenium |
| (documentation Ruthenium EnglishLanguage "Hard white metallic transition element. Found with platinum, used as a catalyst in some platinum alloys. Dissolves in fused alkalis, and is not attacked by acids. Reacts with halogens and oxygen at high temperatures. Isolated in 1844 by K.K. Klaus.") | Mid-level-ontology.kif 28292-28295 | 4173.0 Kelvin degree(s) is a boiling point of ruthenium |
| (externalImage Ruthenium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Ru-TableImage.png") | pictureList.kif 1967-1967 | 4173.0 Kelvin degree(s) is a boiling point of ruthenium |
| (externalImage Ruthenium "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Ru%2C44.jpg") | pictureList.kif 2342-2342 | 4173.0 Kelvin degree(s) is a boiling point of ruthenium |
| (externalImage Ruthenium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f3/ Ru%2C44.jpg/ 125px-Ru%2C44.jpg") | pictureList.kif 1242-1242 | 4173.0 Kelvin degree(s) is a boiling point of ruthenium |
| (meltingPoint Ruthenium (MeasureFn 2583.0 KelvinDegree)) |
Mid-level-ontology.kif 29551-29551 | 2583.0 Kelvin degree(s) is a melting point of ruthenium |
| (names Ruthenium "Ruthenium") | Mid-level-ontology.kif 28282-28282 | "Ruthenium" has name ruthenium |
| (roomTempState Ruthenium Solid) | Mid-level-ontology.kif 31759-31759 | roomTempState ruthenium and solid |
| (subclass Ruthenium ElementalSubstance) | Mid-level-ontology.kif 28281-28281 | Ruthenium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ru" Ruthenium) | Mid-level-ontology.kif 28283-28283 | Ruthenium is a conventional short name of "Ru" |
| (termFormat ChineseLanguage Ruthenium "钌") | domainEnglishFormat.kif 50719-50719 | Ruthenium is a conventional short name of "Ru" |
| (termFormat ChineseTraditionalLanguage Ruthenium "釕") | domainEnglishFormat.kif 50718-50718 | Ruthenium is a conventional short name of "Ru" |
| (termFormat EnglishLanguage Ruthenium "ruthenium") | domainEnglishFormat.kif 50717-50717 | Ruthenium is a conventional short name of "Ru" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Ruthenium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 101.07 Amu))) |
Mid-level-ontology.kif 28286-28290 |
|
|
|
|