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 30869-30869 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 30877-30881 97 is an atomic number of berkelium
(externalImage Berkelium "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Bk_TableImage.png") pictureList.kif 1654-1654 97 is an atomic number of berkelium
(meltingPoint Berkelium
    (MeasureFn 1259.0 KelvinDegree))
Mid-level-ontology.kif 31292-31292 1259.0 Kelvin degree(s) is a melting point of berkelium
(names Berkelium "Berkelium") Mid-level-ontology.kif 30867-30867 "Berkelium" has &ames$"name" Berkelium
(roomTempState Berkelium Solid) Mid-level-ontology.kif 33492-33492 room temperature state berkelium and solid
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 30866-30866 Berkelium is a subclass of elemental substance

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


(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 30868-30868 Berkelium is a conventional short name of "Bk"
(termFormat ChineseLanguage Berkelium "锫") domainEnglishFormat.kif 10812-10812 Berkelium is a conventional short name of "Bk"
(termFormat ChineseTraditionalLanguage Berkelium "锫") domainEnglishFormat.kif 10811-10811 Berkelium is a conventional short name of "Bk"
(termFormat EnglishLanguage Berkelium "berkelium") domainEnglishFormat.kif 10810-10810 Berkelium is a conventional short name of "Bk"

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


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


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