| Berkelium(berkelium)
| | Bk, atomic_number_97, berkelium |
| appearance as argument number 1 |
|
|
| (atomicNumber Berkelium 97) | Mid-level-ontology.kif 30065-30065 | 97 is an atomic number of berkelium |
| (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 30073-30077 | 97 is an atomic number of berkelium |
| (externalImage Berkelium "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Bk_TableImage.png") | pictureList.kif 1654-1654 | 97 is an atomic number of berkelium |
| (meltingPoint Berkelium (MeasureFn 1259.0 KelvinDegree)) |
Mid-level-ontology.kif 30488-30488 | 1259.0 Kelvin degree(s) is a melting point of berkelium |
| (names Berkelium "Berkelium") | Mid-level-ontology.kif 30063-30063 | "Berkelium" has name berkelium |
| (roomTempState Berkelium Solid) | Mid-level-ontology.kif 32670-32670 | roomTempState berkelium and solid |
| (subclass Berkelium ElementalSubstance) | Mid-level-ontology.kif 30062-30062 | Berkelium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Bk" Berkelium) | Mid-level-ontology.kif 30064-30064 | Berkelium is a conventional short name of "Bk" |
| (termFormat ChineseLanguage Berkelium "锫") | domainEnglishFormat.kif 10818-10818 | Berkelium is a conventional short name of "Bk" |
| (termFormat ChineseTraditionalLanguage Berkelium "锫") | domainEnglishFormat.kif 10817-10817 | Berkelium is a conventional short name of "Bk" |
| (termFormat EnglishLanguage Berkelium "berkelium") | domainEnglishFormat.kif 10816-10816 | Berkelium is a conventional short name of "Bk" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 30067-30071 |
|
|
|
|