| Berkelium
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Berkelium 97) | Mid-level-ontology.kif 27110-27110 | atomicNumber Berkelium and 97 |
| (documentation Berkelium EnglishLanguage "Radioactive metallic transuranic element. Belongs to actinoid series. Eight known isotopes, the most common Bk-247, has a half-life of 1.4*10^3 years. First produced by Glenn T. Seaborg and associates in 1949 by bombarding americium-241 with alpha particles.") | Mid-level-ontology.kif 27117-27121 | |
| (externalImage Berkelium "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Bk-TableImage.png") | pictureList.kif 1656-1656 | externalImage Berkelium and "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Bk-TableImage.png" |
| (meltingPoint Berkelium (MeasureFn 1259 KelvinDegree)) |
Mid-level-ontology.kif 27519-27519 | meltingPoint Berkelium and MeasureFn 1259 and KelvinDegree |
| (names Berkelium "Berkelium") | Mid-level-ontology.kif 27108-27108 | names Berkelium and "Berkelium" |
| (subclass Berkelium ElementalSubstance) | Mid-level-ontology.kif 27107-27107 | subclass Berkelium and ElementalSubstance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Bk" Berkelium) | Mid-level-ontology.kif 27109-27109 | conventionalShortName "Bk" and Berkelium |
| (termFormat ChineseLanguage Berkelium "锫") | domainEnglishFormat.kif 10753-10753 | termFormat ChineseLanguage, Berkelium and "锫" |
| (termFormat ChineseTraditionalLanguage Berkelium "锫") | domainEnglishFormat.kif 10752-10752 | termFormat ChineseTraditionalLanguage, Berkelium and "锫" |
| (termFormat EnglishLanguage Berkelium "berkelium") | domainEnglishFormat.kif 10751-10751 | termFormat EnglishLanguage, Berkelium and "berkelium" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 27111-27115 |
|
|
|