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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Berkelium
Berkelium

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


(atomicNumber Berkelium 97) Mid-level-ontology.kif 27110-27110 atomicNumber Berkelium and 97
(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 27117-27121
(externalImage Berkelium "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Bk-TableImage.png") pictureList.kif 1656-1656 externalImage Berkelium and "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Bk-TableImage.png"
(meltingPoint Berkelium
    (MeasureFn 1259 KelvinDegree))
Mid-level-ontology.kif 27519-27519 meltingPoint Berkelium and MeasureFn 1259 and KelvinDegree
(names Berkelium "Berkelium") Mid-level-ontology.kif 27108-27108 names Berkelium and "Berkelium"
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 27107-27107 subclass Berkelium and ElementalSubstance

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


(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 27109-27109 conventionalShortName "Bk" and Berkelium
(termFormat ChineseLanguage Berkelium "锫") domainEnglishFormat.kif 10753-10753 termFormat ChineseLanguage, Berkelium and "锫"
(termFormat ChineseTraditionalLanguage Berkelium "锫") domainEnglishFormat.kif 10752-10752 termFormat ChineseTraditionalLanguage, Berkelium and "锫"
(termFormat EnglishLanguage Berkelium "berkelium") domainEnglishFormat.kif 10751-10751 termFormat EnglishLanguage, Berkelium and "berkelium"

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


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


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