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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Radium
Radium

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


(atomicNumber Radium 88) Mid-level-ontology.kif 28782-28782 atomicNumber Radium and 88
(boilingPoint Radium
    (MeasureFn 1413.0 KelvinDegree))
Mid-level-ontology.kif 29344-29344 boilingPoint Radium and 1413.0 の KelvinDegree(s)
(documentation Radium EnglishLanguage "Radioactive metallic transuranic element, belongs to group 2 of the periodic table. Most stable isotope, Ra-226 has a half-life of 1602 years, which decays into radon. Isolated from pitchblende in 1898 Marie and Pierre Curie.") Mid-level-ontology.kif 28790-28793
(externalImage Radium "http://upload.wikimedia.org/wikipedia/commons/d/de/ Ra-TableImage.png") pictureList.kif 1943-1943
(meltingPoint Radium
    (MeasureFn 973.0 KelvinDegree))
Mid-level-ontology.kif 29343-29343 meltingPoint Radium and 973.0 の KelvinDegree(s)
(names Radium "Radium") Mid-level-ontology.kif 28780-28780 "Radium" は Radiumname を 持って %n{ない}
(roomTempState Radium Solid) Mid-level-ontology.kif 31534-31534 roomTempState Radium and Solid
(subclass Radium ElementalSubstance) Mid-level-ontology.kif 28779-28779 Radium単体subclass では %n

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


(conventionalShortName "Ra" Radium) Mid-level-ontology.kif 28781-28781 conventionalShortName "Ra" and Radium
(termFormat ChineseLanguage Radium "镭") domainEnglishFormat.kif 48572-48572
(termFormat ChineseTraditionalLanguage Radium "鐳") domainEnglishFormat.kif 48571-48571
(termFormat EnglishLanguage Radium "radium") domainEnglishFormat.kif 48570-48570

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


(=>
    (and
        (instance ?ATOM Radium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 226 Amu)))
Mid-level-ontology.kif 28784-28788


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