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 30871-30871 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 30879-30883 atomicNumber Berkelium and 97
(externalImage Berkelium "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Bk_TableImage.png") pictureList.kif 1654-1654 atomicNumber Berkelium and 97
(meltingPoint Berkelium
    (MeasureFn 1259.0 KelvinDegree))
Mid-level-ontology.kif 31294-31294 meltingPoint Berkelium and 1259.0 の KelvinDegree(s)
(names Berkelium "Berkelium") Mid-level-ontology.kif 30869-30869 "Berkelium" は Berkelium の &ames$"name" を 持って
(roomTempState Berkelium Solid) Mid-level-ontology.kif 33494-33494 roomTempState Berkelium and Solid
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 30868-30868 Berkelium単体subclass では

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


(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 30870-30870 conventionalShortName "Bk" and Berkelium
(termFormat ChineseLanguage Berkelium "锫") domainEnglishFormat.kif 10812-10812 conventionalShortName "Bk" and Berkelium
(termFormat ChineseTraditionalLanguage Berkelium "锫") domainEnglishFormat.kif 10811-10811 conventionalShortName "Bk" and Berkelium
(termFormat EnglishLanguage Berkelium "berkelium") domainEnglishFormat.kif 10810-10810 conventionalShortName "Bk" and Berkelium

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


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


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