| Holmium(holmium)
| | Ho, atomic_number_67, holmium |
| appearance as argument number 1 |
|
|
| (atomicNumber Holmium 67) | Mid-level-ontology.kif 30087-30087 | 67 is an atomic number of holmium |
| (boilingPoint Holmium (MeasureFn 2993.0 KelvinDegree)) |
Mid-level-ontology.kif 30992-30992 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| (documentation Holmium EnglishLanguage "Relatively soft and malleable silvery-white metallic element, which is stable in dry air at room temperature. It oxidizes in moist air and at high temperatures. It belongs to the lanthanoids. A rare-earth metal, it is found in the minerals monazite and gadolinite. It possesses unusual magnetic properties. One natural isotope, Ho-165 exists, six radioisotopes exist, the most stable being Ho-163 with a half-life of 4570 years. Holmium is used in some metal alloys, it is also said to stimulate the metabolism. Discovered by Per Theodor Cleve and J.L. Soret in Switzerland in 1879. The name homium comes from the Greek word Holmia which means Sweden. While all holmium compounds should be considered highly toxic, initial evidence seems to indicate that they do not pose much danger. The metal's dust however, is a fire hazard.") | Mid-level-ontology.kif 30095-30107 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Ho%2C67.jpg") | pictureList.kif 2215-2215 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Ho_TableImage.png") | pictureList.kif 1804-1804 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6c/ Ho%2C67.jpg/ 125px_Ho%2C67.jpg") | pictureList.kif 1138-1138 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| (meltingPoint Holmium (MeasureFn 1743.0 KelvinDegree)) |
Mid-level-ontology.kif 30991-30991 | 1743.0 Kelvin degree(s) is a melting point of holmium |
| (names Holmium "Holmium") | Mid-level-ontology.kif 30085-30085 | "Holmium" has name holmium |
| (roomTempState Holmium Solid) | Mid-level-ontology.kif 33221-33221 | room temperature state holmium and solid |
| (subclass Holmium ElementalSubstance) | Mid-level-ontology.kif 30084-30084 | Holmium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ho" Holmium) | Mid-level-ontology.kif 30086-30086 | Holmium is a conventional short name of "Ho" |
| (termFormat ChineseLanguage Holmium "钬") | domainEnglishFormat.kif 28429-28429 | Holmium is a conventional short name of "Ho" |
| (termFormat ChineseTraditionalLanguage Holmium "钬") | domainEnglishFormat.kif 28428-28428 | Holmium is a conventional short name of "Ho" |
| (termFormat EnglishLanguage Holmium "holmium") | domainEnglishFormat.kif 28427-28427 | Holmium is a conventional short name of "Ho" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Holmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 167.26 Amu))) |
Mid-level-ontology.kif 30089-30093 |
|
|
|
|