| Iridium(iridium)
| | Ir, atomic_number_77, iridium |
| appearance as argument number 1 |
|
|
| (atomicNumber Iridium 77) | Mid-level-ontology.kif 26774-26774 | 77 is an atomic number of iridium |
| (boilingPoint Iridium (MeasureFn 4403 KelvinDegree)) |
Mid-level-ontology.kif 27492-27492 | 4403 Kelvin degree(s) is a boiling point of iridium |
| (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 26781-26792 | |
| (externalImage Iridium "http://upload.wikimedia.org/wikipedia/commons/7/ 76/ Iridium_foil.jpg") | pictureList.kif 2239-2239 | |
| (externalImage Iridium "http://upload.wikimedia.org/wikipedia/commons/e/ e8/ Ir-TableImage.png") | pictureList.kif 1821-1821 | |
| (externalImage Iridium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 76/ Iridium_foil.jpg/ 125px-Iridium_foil.jpg") | pictureList.kif 1149-1149 | |
| (meltingPoint Iridium (MeasureFn 2683 KelvinDegree)) |
Mid-level-ontology.kif 27491-27491 | 2683 Kelvin degree(s) is a melting point of iridium |
| (names Iridium "Iridium") | Mid-level-ontology.kif 26772-26772 | "Iridium" has name iridium |
| (subclass Iridium ElementalSubstance) | Mid-level-ontology.kif 26771-26771 | Iridium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ir" Iridium) | Mid-level-ontology.kif 26773-26773 | Iridium is a conventional short name of "Ir" |
| (termFormat ChineseLanguage Iridium "铱") | domainEnglishFormat.kif 30895-30895 | |
| (termFormat ChineseTraditionalLanguage Iridium "銥") | domainEnglishFormat.kif 30894-30894 | |
| (termFormat EnglishLanguage Iridium "iridium") | domainEnglishFormat.kif 30893-30893 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Iridium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 192.217 Amu))) |
Mid-level-ontology.kif 26775-26779 |
|
|
|
|