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 27094-27094 atomicNumber Curium and 96
(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 27101-27105
(externalImage Curium "http://upload.wikimedia.org/wikipedia/commons/f/fb/ Cm-TableImage.png") pictureList.kif 1723-1723 externalImage Curium and "http://upload.wikimedia.org/wikipedia/commons/f/fb/ Cm-TableImage.png"
(meltingPoint Curium
    (MeasureFn 1613 KelvinDegree))
Mid-level-ontology.kif 27518-27518 meltingPoint Curium and MeasureFn 1613 and KelvinDegree
(names Curium "Curium") Mid-level-ontology.kif 27092-27092 names Curium and "Curium"
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 27091-27091 subclass Curium and ElementalSubstance

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


(conventionalShortName "Cm" Curium) Mid-level-ontology.kif 27093-27093 conventionalShortName "Cm" and Curium
(termFormat ChineseLanguage Curium "锔") domainEnglishFormat.kif 17971-17971 termFormat ChineseLanguage, Curium and "锔"
(termFormat ChineseTraditionalLanguage Curium "鋦") domainEnglishFormat.kif 17970-17970 termFormat ChineseTraditionalLanguage, Curium and "鋦"
(termFormat EnglishLanguage Curium "curium") domainEnglishFormat.kif 17969-17969 termFormat EnglishLanguage, Curium and "curium"

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners