| Holmium
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Holmium 67) | Mid-level-ontology.kif 28693-28693 | |
| (boilingPoint Holmium (MeasureFn 2993.0 KelvinDegree)) |
Mid-level-ontology.kif 29598-29598 | |
| (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 28701-28713 | |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Ho%2C67.jpg") | pictureList.kif 2215-2215 | |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Ho-TableImage.png") | pictureList.kif 1804-1804 | |
| (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 29597-29597 | |
| (names Holmium "Holmium") | Mid-level-ontology.kif 28691-28691 | |
| (roomTempState Holmium Solid) | Mid-level-ontology.kif 31782-31782 | |
| (subclass Holmium ElementalSubstance) | Mid-level-ontology.kif 28690-28690 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ho" Holmium) | Mid-level-ontology.kif 28692-28692 | |
| (termFormat ChineseLanguage Holmium "钬") | domainEnglishFormat.kif 28430-28430 | |
| (termFormat ChineseTraditionalLanguage Holmium "钬") | domainEnglishFormat.kif 28429-28429 | |
| (termFormat EnglishLanguage Holmium "holmium") | domainEnglishFormat.kif 28428-28428 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Holmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 167.26 Amu))) |
Mid-level-ontology.kif 28695-28699 |
|
|
|