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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Radium
Radium(radium)
Ra, atomic_number_88, radium

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


(atomicNumber Radium 88) Mid-level-ontology.kif 29909-29909 88 is an atomic number of radium
(boilingPoint Radium
    (MeasureFn 1413.0 KelvinDegree))
Mid-level-ontology.kif 30471-30471 1413.0 Kelvin degree(s) is a boiling point of radium
(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 29917-29920 1413.0 Kelvin degree(s) is a boiling point of radium
(externalImage Radium "http://upload.wikimedia.org/wikipedia/commons/d/de/ Ra_TableImage.png") pictureList.kif 1942-1942 1413.0 Kelvin degree(s) is a boiling point of radium
(meltingPoint Radium
    (MeasureFn 973.0 KelvinDegree))
Mid-level-ontology.kif 30470-30470 973.0 Kelvin degree(s) is a melting point of radium
(names Radium "Radium") Mid-level-ontology.kif 29907-29907 "Radium" has name radium
(roomTempState Radium Solid) Mid-level-ontology.kif 32661-32661 roomTempState radium and solid
(subclass Radium ElementalSubstance) Mid-level-ontology.kif 29906-29906 Radium is a subclass of elemental substance

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


(conventionalShortName "Ra" Radium) Mid-level-ontology.kif 29908-29908 Radium is a conventional short name of "Ra"
(termFormat ChineseLanguage Radium "镭") domainEnglishFormat.kif 48603-48603 Radium is a conventional short name of "Ra"
(termFormat ChineseTraditionalLanguage Radium "鐳") domainEnglishFormat.kif 48602-48602 Radium is a conventional short name of "Ra"
(termFormat EnglishLanguage Radium "radium") domainEnglishFormat.kif 48601-48601 Radium is a conventional short name of "Ra"

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


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


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