| Einsteinium(einsteinium)
| | E, Es, atomic_number_99, einsteinium |
| appearance as argument number 1 |
|
|
| (atomicNumber Einsteinium 99) | Mid-level-ontology.kif 30904-30904 | 99 is an atomic number of einsteinium |
| (documentation Einsteinium EnglishLanguage "Appearance is unknown, however it is most probably metallic and silver or gray in color. Radioactive metallic transuranic element belonging to the actinoids. Es-254 has the longest half-life of the eleven known isotopes at 270 days. First identified by Albert Ghiorso and associates in the debris of the 1952 hydrogen bomb explosion. In 1961 the first microgram quantities of Es-232 were separated. While einsteinium never exists naturally, if a sufficient amount was assembled, it would pose a radiation hazard.") | Mid-level-ontology.kif 30912-30919 | 99 is an atomic number of einsteinium |
| (externalImage Einsteinium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Es_TableImage.png") | pictureList.kif 1743-1743 | 99 is an atomic number of einsteinium |
| (meltingPoint Einsteinium (MeasureFn 1133.0 KelvinDegree)) |
Mid-level-ontology.kif 31294-31294 | 1133.0 Kelvin degree(s) is a melting point of einsteinium |
| (names Einsteinium "Einsteinium") | Mid-level-ontology.kif 30902-30902 | "Einsteinium" has &ames$"name" Einsteinium |
| (subclass Einsteinium ElementalSubstance) | Mid-level-ontology.kif 30901-30901 | Einsteinium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Es" Einsteinium) | Mid-level-ontology.kif 30903-30903 | Einsteinium is a conventional short name of "Es" |
| (termFormat ChineseLanguage Einsteinium "锿") | domainEnglishFormat.kif 21381-21381 | Einsteinium is a conventional short name of "Es" |
| (termFormat ChineseTraditionalLanguage Einsteinium "锿") | domainEnglishFormat.kif 21380-21380 | Einsteinium is a conventional short name of "Es" |
| (termFormat EnglishLanguage Einsteinium "einsteinium") | domainEnglishFormat.kif 21379-21379 | Einsteinium is a conventional short name of "Es" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Einsteinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 254 Amu))) |
Mid-level-ontology.kif 30906-30910 |
|
|
|
|