| Ruthenium(ruthenium)
| | Ru, atomic_number_44, ruthenium |
| appearance as argument number 1 |
|
|
| (atomicNumber Ruthenium 44) | Mid-level-ontology.kif 29115-29115 | 44 is an atomic number of ruthenium |
| (boilingPoint Ruthenium (MeasureFn 4173.0 KelvinDegree)) |
Mid-level-ontology.kif 30383-30383 | 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 29123-29126 | 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 1966-1966 | 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 2341-2341 | 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 30382-30382 | 2583.0 Kelvin degree(s) is a melting point of ruthenium |
| (names Ruthenium "Ruthenium") | Mid-level-ontology.kif 29113-29113 | "Ruthenium" has name ruthenium |
| (roomTempState Ruthenium Solid) | Mid-level-ontology.kif 32617-32617 | roomTempState ruthenium and solid |
| (subclass Ruthenium ElementalSubstance) | Mid-level-ontology.kif 29112-29112 | Ruthenium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ru" Ruthenium) | Mid-level-ontology.kif 29114-29114 | Ruthenium is a conventional short name of "Ru" |
| (termFormat ChineseLanguage Ruthenium "钌") | domainEnglishFormat.kif 50712-50712 | Ruthenium is a conventional short name of "Ru" |
| (termFormat ChineseTraditionalLanguage Ruthenium "釕") | domainEnglishFormat.kif 50711-50711 | Ruthenium is a conventional short name of "Ru" |
| (termFormat EnglishLanguage Ruthenium "ruthenium") | domainEnglishFormat.kif 50710-50710 | 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 29117-29121 |
|
|
|
|