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 30472-30472
(boilingPoint Radium
    (MeasureFn 1413.0 KelvinDegree))
Mid-level-ontology.kif 31034-31034
(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 30480-30483
(externalImage Radium "http://upload.wikimedia.org/wikipedia/commons/d/de/ Ra_TableImage.png") pictureList.kif 1942-1942
(meltingPoint Radium
    (MeasureFn 973.0 KelvinDegree))
Mid-level-ontology.kif 31033-31033
(names Radium "Radium") Mid-level-ontology.kif 30470-30470
(roomTempState Radium Solid) Mid-level-ontology.kif 33242-33242
(subclass Radium ElementalSubstance) Mid-level-ontology.kif 30469-30469

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


(conventionalShortName "Ra" Radium) Mid-level-ontology.kif 30471-30471
(termFormat ChineseLanguage Radium "镭") domainEnglishFormat.kif 48603-48603
(termFormat ChineseTraditionalLanguage Radium "鐳") domainEnglishFormat.kif 48602-48602
(termFormat EnglishLanguage Radium "radium") domainEnglishFormat.kif 48601-48601

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


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


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