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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Berkelium
Berkelium(berkelium)
Bk, atomic_number_97, berkelium

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


(atomicNumber Berkelium 97) Mid-level-ontology.kif 27122-27122 97 is an atomic number of berkelium
(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 27129-27133
(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 27531-27531 1259 Kelvin degree(s) is a melting point of berkelium
(names Berkelium "Berkelium") Mid-level-ontology.kif 27120-27120 "Berkelium" has name berkelium
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 27119-27119 Berkelium is a subclass of elemental substance

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


(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 27121-27121 Berkelium is a conventional short name of "Bk"
(termFormat ChineseLanguage Berkelium "锫") domainEnglishFormat.kif 10753-10753
(termFormat ChineseTraditionalLanguage Berkelium "锫") domainEnglishFormat.kif 10752-10752
(termFormat EnglishLanguage Berkelium "berkelium") domainEnglishFormat.kif 10751-10751

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


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


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