| Holmium(holmium)
| | Ho, atomic_number_67, holmium |
| appearance as argument number 1 |
|
|
| (atomicNumber Holmium 67) | Mid-level-ontology.kif 28693-28693 | 67 is an atomic number of holmium |
| (boilingPoint Holmium (MeasureFn 2993.0 KelvinDegree)) |
Mid-level-ontology.kif 29598-29598 | 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 28701-28713 | 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 2216-2216 | 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 1805-1805 | 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 29597-29597 | 1743.0 Kelvin degree(s) is a melting point of holmium |
| (names Holmium "Holmium") | Mid-level-ontology.kif 28691-28691 | "Holmium" has name holmium |
| (roomTempState Holmium Solid) | Mid-level-ontology.kif 31782-31782 | roomTempState holmium and solid |
| (subclass Holmium ElementalSubstance) | Mid-level-ontology.kif 28690-28690 | Holmium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ho" Holmium) | Mid-level-ontology.kif 28692-28692 | Holmium is a conventional short name of "Ho" |
| (termFormat ChineseLanguage Holmium "钬") | domainEnglishFormat.kif 28435-28435 | Holmium is a conventional short name of "Ho" |
| (termFormat ChineseTraditionalLanguage Holmium "钬") | domainEnglishFormat.kif 28434-28434 | Holmium is a conventional short name of "Ho" |
| (termFormat EnglishLanguage Holmium "holmium") | domainEnglishFormat.kif 28433-28433 | 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 28695-28699 |
|
|
|
|