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 30611-30611
(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 30619-30623
(externalImage Curium "http://upload.wikimedia.org/wikipedia/commons/f/fb/ Cm_TableImage.png") pictureList.kif 1721-1721
(meltingPoint Curium
    (MeasureFn 1613.0 KelvinDegree))
Mid-level-ontology.kif 31050-31050
(names Curium "Curium") Mid-level-ontology.kif 30609-30609
(roomTempState Curium Solid) Mid-level-ontology.kif 33250-33250
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 30608-30608

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


(conventionalShortName "Cm" Curium) Mid-level-ontology.kif 30610-30610
(termFormat ChineseLanguage Curium "锔") domainEnglishFormat.kif 18057-18057
(termFormat ChineseTraditionalLanguage Curium "鋦") domainEnglishFormat.kif 18056-18056
(termFormat EnglishLanguage Curium "curium") domainEnglishFormat.kif 18055-18055

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


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


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