| Thulium(thulium)
| | Tm, atomic_number_69, thulium |
| appearance as argument number 1 |
|
|
| (atomicNumber Thulium 69) | Mid-level-ontology.kif 28735-28735 | 69 is an atomic number of thulium |
| (boilingPoint Thulium (MeasureFn 2000.0 KelvinDegree)) |
Mid-level-ontology.kif 29602-29602 | 2000.0 Kelvin degree(s) is a boiling point of thulium |
| (documentation Thulium EnglishLanguage "Soft grey metallic element that belongs to the lanthanoids. One natural isotope exists, Tm-169, and seventeen artificial isotopes have been produced. No known uses for the element. Discovered in 1879 by Per Theodor Cleve.") | Mid-level-ontology.kif 28743-28746 | 2000.0 Kelvin degree(s) is a boiling point of thulium |
| (externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Tm-TableImage.png") | pictureList.kif 2030-2030 | 2000.0 Kelvin degree(s) is a boiling point of thulium |
| (externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Tm%2C69.jpg") | pictureList.kif 2402-2402 | 2000.0 Kelvin degree(s) is a boiling point of thulium |
| (externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a7/ Tm%2C69.jpg/ 125px-Tm%2C69.jpg") | pictureList.kif 1268-1268 | 2000.0 Kelvin degree(s) is a boiling point of thulium |
| (meltingPoint Thulium (MeasureFn 1818.0 KelvinDegree)) |
Mid-level-ontology.kif 29601-29601 | 1818.0 Kelvin degree(s) is a melting point of thulium |
| (names Thulium "Thulium") | Mid-level-ontology.kif 28733-28733 | "Thulium" has name thulium |
| (roomTempState Thulium Solid) | Mid-level-ontology.kif 31784-31784 | roomTempState thulium and solid |
| (subclass Thulium ElementalSubstance) | Mid-level-ontology.kif 28732-28732 | Thulium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Tm" Thulium) | Mid-level-ontology.kif 28734-28734 | Thulium is a conventional short name of "Tm" |
| (termFormat ChineseLanguage Thulium "铥") | domainEnglishFormat.kif 58000-58000 | Thulium is a conventional short name of "Tm" |
| (termFormat ChineseTraditionalLanguage Thulium "铥") | domainEnglishFormat.kif 57999-57999 | Thulium is a conventional short name of "Tm" |
| (termFormat EnglishLanguage Thulium "thulium") | domainEnglishFormat.kif 57998-57998 | Thulium is a conventional short name of "Tm" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Thulium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 168.934 Amu))) |
Mid-level-ontology.kif 28737-28741 |
|
|
|
|