| Terbium(terbium)
| | Tb, atomic_number_65, terbium |
| appearance as argument number 1 |
|
|
| (atomicNumber Terbium 65) | Mid-level-ontology.kif 28657-28657 | 65 is an atomic number of terbium |
| (boilingPoint Terbium (MeasureFn 3314.0 KelvinDegree)) |
Mid-level-ontology.kif 29594-29594 | 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 28665-28667 | 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 2396-2396 | 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 2025-2025 | 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 29593-29593 | 1633.0 Kelvin degree(s) is a melting point of terbium |
| (names Terbium "Terbium") | Mid-level-ontology.kif 28655-28655 | "Terbium" has name terbium |
| (roomTempState Terbium Solid) | Mid-level-ontology.kif 31780-31780 | roomTempState terbium and solid |
| (subclass Terbium ElementalSubstance) | Mid-level-ontology.kif 28654-28654 | Terbium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Tb" Terbium) | Mid-level-ontology.kif 28656-28656 | Terbium is a conventional short name of "Tb" |
| (termFormat ChineseLanguage Terbium "铽") | domainEnglishFormat.kif 57560-57560 | Terbium is a conventional short name of "Tb" |
| (termFormat ChineseTraditionalLanguage Terbium "铽") | domainEnglishFormat.kif 57559-57559 | Terbium is a conventional short name of "Tb" |
| (termFormat EnglishLanguage Terbium "terbium") | domainEnglishFormat.kif 57558-57558 | 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 28659-28663 |
|
|
|
|