| Terbium(terbium)
| | Tb, atomic_number_65, terbium |
| appearance as argument number 1 |
|
|
| (atomicNumber Terbium 65) | Mid-level-ontology.kif 30051-30051 | 65 is an atomic number of terbium |
| (boilingPoint Terbium (MeasureFn 3314.0 KelvinDegree)) |
Mid-level-ontology.kif 30988-30988 | 3314.0 Kelvin degree(s) is a boiling point of terbium |
| (documentation Terbium EnglishLanguage "Silvery metallic element belonging to the lanthanoids. Tb-159 is the only stable isotope, there are seventeen artificial isotopes. Discovered by G.G. Mosander in 1843.") | Mid-level-ontology.kif 30059-30061 | 3314.0 Kelvin degree(s) is a boiling point of terbium |
| (externalImage Terbium "http://upload.wikimedia.org/wikipedia/commons/4/ 44/ Tb%2C65.jpg") | pictureList.kif 2395-2395 | 3314.0 Kelvin degree(s) is a boiling point of terbium |
| (externalImage Terbium "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ Tb_TableImage.png") | pictureList.kif 2024-2024 | 3314.0 Kelvin degree(s) is a boiling point of terbium |
| (externalImage Terbium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 44/ Tb%2C65.jpg/ 125px_Tb%2C65.jpg") | pictureList.kif 1266-1266 | 3314.0 Kelvin degree(s) is a boiling point of terbium |
| (meltingPoint Terbium (MeasureFn 1633.0 KelvinDegree)) |
Mid-level-ontology.kif 30987-30987 | 1633.0 Kelvin degree(s) is a melting point of terbium |
| (names Terbium "Terbium") | Mid-level-ontology.kif 30049-30049 | "Terbium" has name terbium |
| (roomTempState Terbium Solid) | Mid-level-ontology.kif 33219-33219 | room temperature state terbium and solid |
| (subclass Terbium ElementalSubstance) | Mid-level-ontology.kif 30048-30048 | Terbium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Tb" Terbium) | Mid-level-ontology.kif 30050-30050 | Terbium is a conventional short name of "Tb" |
| (termFormat ChineseLanguage Terbium "铽") | domainEnglishFormat.kif 57553-57553 | Terbium is a conventional short name of "Tb" |
| (termFormat ChineseTraditionalLanguage Terbium "铽") | domainEnglishFormat.kif 57552-57552 | Terbium is a conventional short name of "Tb" |
| (termFormat EnglishLanguage Terbium "terbium") | domainEnglishFormat.kif 57551-57551 | Terbium is a conventional short name of "Tb" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Terbium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 158.924 Amu))) |
Mid-level-ontology.kif 30053-30057 |
|
|
|
|