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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Berkelium

Sigma KEE - Berkelium
Berkelium

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


(atomicNumber Berkelium 97) Mid-level-ontology.kif 28292-28292
(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 28300-28304
(externalImage Berkelium "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Bk-TableImage.png") pictureList.kif 1656-1656
(meltingPoint Berkelium
    (MeasureFn 1259 KelvinDegree))
Mid-level-ontology.kif 28715-28715
(names Berkelium "Berkelium") Mid-level-ontology.kif 28290-28290
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 28289-28289

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


(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 28291-28291
(termFormat ChineseLanguage Berkelium "锫") domainEnglishFormat.kif 10814-10814
(termFormat ChineseTraditionalLanguage Berkelium "锫") domainEnglishFormat.kif 10813-10813
(termFormat EnglishLanguage Berkelium "berkelium") domainEnglishFormat.kif 10812-10812

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


(=>
    (and
        (instance ?ATOM Berkelium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 28294-28298


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