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 28436-28436 97 是 atomic 数字
(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 28444-28448
(externalImage Berkelium "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Bk-TableImage.png") pictureList.kif 1656-1656
(meltingPoint Berkelium
    (MeasureFn 1259.0 KelvinDegree))
Mid-level-ontology.kif 28859-28859 1259.0 凯文度melting
(names Berkelium "Berkelium") Mid-level-ontology.kif 28434-28434 "Berkelium" 的名 是
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 28433-28433 元素物质subclass

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


(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 28435-28435 是 "Bk" 的 conventional 简称
(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 28438-28442


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 3.0 is open source software produced by Articulate Software and its partners