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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Einsteinium

Sigma KEE - Einsteinium
Einsteinium

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


(atomicNumber Einsteinium 99) Mid-level-ontology.kif 29036-29036 atomicNumber Einsteinium and 99
(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 29044-29051
(externalImage Einsteinium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Es-TableImage.png") pictureList.kif 1744-1744
(meltingPoint Einsteinium
    (MeasureFn 1133.0 KelvinDegree))
Mid-level-ontology.kif 29426-29426 meltingPoint Einsteinium and 1133.0 の KelvinDegree(s)
(names Einsteinium "Einsteinium") Mid-level-ontology.kif 29034-29034 "Einsteinium" は Einsteiniumname を 持って %n{ない}
(subclass Einsteinium ElementalSubstance) Mid-level-ontology.kif 29033-29033 Einsteinium単体subclass では %n

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


(conventionalShortName "Es" Einsteinium) Mid-level-ontology.kif 29035-29035 conventionalShortName "Es" and Einsteinium
(termFormat ChineseLanguage Einsteinium "锿") domainEnglishFormat.kif 21372-21372
(termFormat ChineseTraditionalLanguage Einsteinium "锿") domainEnglishFormat.kif 21371-21371
(termFormat EnglishLanguage Einsteinium "einsteinium") domainEnglishFormat.kif 21370-21370

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


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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners