Iridium |
appearance as argument number 1 |
(atomicNumber Iridium 77) | Mid-level-ontology.kif 28866-28866 | |
(boilingPoint Iridium (MeasureFn 4403.0 KelvinDegree)) |
Mid-level-ontology.kif 29618-29618 | |
(documentation Iridium EnglishLanguage "Very hard and brittle, silvery metallic transition element. It has a yellowish cast to it. Salts of iridium are highly colored. It is the most corrosion resistant metal known, not attacked by any acid, but is attacked by molten salts. There are two natural isotopes of iridium, and 4 radioisotopes, the most stable being Ir-192 with a half-life of 73.83 days. Ir-192 decays into {platinum}, while the other radioisotopes decay into {osmium}. Iridium is used in high temperature apparatus, electrical contacts, and as a hardening agent for platinum. Discovered in 1803 by Smithson Tennant in England. The name comes from the Greek word iris, which means rainbow. Iridium metal is generally non-toxic due to its relative unreactivity, but iridium compounds should be considered highly toxic.") | Mid-level-ontology.kif 28874-28885 | |
(externalImage Iridium "http://upload.wikimedia.org/wikipedia/commons/7/ 76/ Iridium_foil.jpg") | pictureList.kif 2237-2237 | |
(externalImage Iridium "http://upload.wikimedia.org/wikipedia/commons/e/ e8/ Ir-TableImage.png") | pictureList.kif 1819-1819 | |
(externalImage Iridium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 76/ Iridium_foil.jpg/ 125px-Iridium_foil.jpg") | pictureList.kif 1148-1148 | |
(meltingPoint Iridium (MeasureFn 2683.0 KelvinDegree)) |
Mid-level-ontology.kif 29617-29617 | |
(names Iridium "Iridium") | Mid-level-ontology.kif 28864-28864 | |
(roomTempState Iridium Solid) | Mid-level-ontology.kif 31792-31792 | |
(subclass Iridium ElementalSubstance) | Mid-level-ontology.kif 28863-28863 |
appearance as argument number 2 |
(conventionalShortName "Ir" Iridium) | Mid-level-ontology.kif 28865-28865 | |
(termFormat ChineseLanguage Iridium "铱") | domainEnglishFormat.kif 31026-31026 | |
(termFormat ChineseTraditionalLanguage Iridium "銥") | domainEnglishFormat.kif 31025-31025 | |
(termFormat EnglishLanguage Iridium "iridium") | domainEnglishFormat.kif 31024-31024 |
antecedent |
(=> (and (instance ?ATOM Iridium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 192.217 Amu))) |
Mid-level-ontology.kif 28868-28872 |