Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Einsteinium
Einsteinium(einsteinium)
E, Es, atomic_number_99, einsteinium

appearance as argument number 1
-------------------------


(atomicNumber Einsteinium 99) Mid-level-ontology.kif 27155-27155 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 27162-27169
(externalImage Einsteinium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Es-TableImage.png") pictureList.kif 1745-1745
(meltingPoint Einsteinium
    (MeasureFn 1133 KelvinDegree))
Mid-level-ontology.kif 27533-27533 1133 Kelvin degree(s) is a melting point of einsteinium
(names Einsteinium "Einsteinium") Mid-level-ontology.kif 27153-27153 "Einsteinium" has name einsteinium
(subclass Einsteinium ElementalSubstance) Mid-level-ontology.kif 27152-27152 Einsteinium is a subclass of elemental substance

appearance as argument number 2
-------------------------


(conventionalShortName "Es" Einsteinium) Mid-level-ontology.kif 27154-27154 Einsteinium is a conventional short name of "Es"
(termFormat ChineseLanguage Einsteinium "锿") domainEnglishFormat.kif 21295-21295
(termFormat ChineseTraditionalLanguage Einsteinium "锿") domainEnglishFormat.kif 21294-21294
(termFormat EnglishLanguage Einsteinium "einsteinium") domainEnglishFormat.kif 21293-21293

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Einsteinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 254 Amu)))
Mid-level-ontology.kif 27156-27160


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners