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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Curium
Curium

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


(atomicNumber Curium 96) Mid-level-ontology.kif 28933-28933
(documentation Curium EnglishLanguage "Radioactive metallic transuranic element. Belongs to actinoid series. Nine known isotopes, Cm-247 has a half-life of 1.64*10^7 years. First identified by Glenn T. Seaborg and associates in 1944, first produced by L.B. Werner and I. Perlman in 1947 by bombarding americium-241 with {neutron}s. Named for Marie Curie.") Mid-level-ontology.kif 28941-28945
(externalImage Curium "http://upload.wikimedia.org/wikipedia/commons/f/fb/ Cm-TableImage.png") pictureList.kif 1722-1722
(meltingPoint Curium
    (MeasureFn 1613.0 KelvinDegree))
Mid-level-ontology.kif 29372-29372
(names Curium "Curium") Mid-level-ontology.kif 28931-28931
(roomTempState Curium Solid) Mid-level-ontology.kif 31546-31546
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 28930-28930

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


(conventionalShortName "Cm" Curium) Mid-level-ontology.kif 28932-28932
(termFormat ChineseLanguage Curium "锔") domainEnglishFormat.kif 18042-18042
(termFormat ChineseTraditionalLanguage Curium "鋦") domainEnglishFormat.kif 18041-18041
(termFormat EnglishLanguage Curium "curium") domainEnglishFormat.kif 18040-18040

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


(=>
    (and
        (instance ?ATOM Curium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 28935-28939


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