| Holmium
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Holmium 67) | Mid-level-ontology.kif 28409-28409 | |
| (boilingPoint Holmium (MeasureFn 2993.0 KelvinDegree)) |
Mid-level-ontology.kif 29314-29314 | |
| (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 28417-28429 | |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Ho%2C67.jpg") | pictureList.kif 2216-2216 | |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Ho-TableImage.png") | pictureList.kif 1805-1805 | |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6c/ Ho%2C67.jpg/ 125px-Ho%2C67.jpg") | pictureList.kif 1138-1138 | |
| (meltingPoint Holmium (MeasureFn 1743.0 KelvinDegree)) |
Mid-level-ontology.kif 29313-29313 | |
| (names Holmium "Holmium") | Mid-level-ontology.kif 28407-28407 | |
| (roomTempState Holmium Solid) | Mid-level-ontology.kif 31517-31517 | |
| (subclass Holmium ElementalSubstance) | Mid-level-ontology.kif 28406-28406 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ho" Holmium) | Mid-level-ontology.kif 28408-28408 | |
| (termFormat ChineseLanguage Holmium "钬") | domainEnglishFormat.kif 28401-28401 | |
| (termFormat ChineseTraditionalLanguage Holmium "钬") | domainEnglishFormat.kif 28400-28400 | |
| (termFormat EnglishLanguage Holmium "holmium") | domainEnglishFormat.kif 28399-28399 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Holmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 167.26 Amu))) |
Mid-level-ontology.kif 28411-28415 |
|
|
|