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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Berkelium

appearance as argument number 1

(atomicNumber Berkelium 97) Mid-level-ontology.kif 28938-28938 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 28946-28950
(externalImage Berkelium " a/ a7/ Bk-TableImage.png") pictureList.kif 1655-1655
(meltingPoint Berkelium
    (MeasureFn 1259.0 KelvinDegree))
Mid-level-ontology.kif 29361-29361 1259.0 凯文度melting
(names Berkelium "Berkelium") Mid-level-ontology.kif 28936-28936 "Berkelium" 的名 是
(roomTempState Berkelium Solid) Mid-level-ontology.kif 31543-31543 roomTempState and 固体
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 28935-28935 元素物质subclass

appearance as argument number 2

(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 28937-28937 是 "Bk" 的 conventional 简称
(termFormat ChineseLanguage Berkelium "锫") domainEnglishFormat.kif 10805-10805
(termFormat ChineseTraditionalLanguage Berkelium "锫") domainEnglishFormat.kif 10804-10804
(termFormat EnglishLanguage Berkelium "berkelium") domainEnglishFormat.kif 10803-10803


        (instance ?ATOM Berkelium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 28940-28944

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