| Radium(radium)
| | Ra, atomic_number_88, radium |
| appearance as argument number 1 |
|
|
| (atomicNumber Radium 88) | Mid-level-ontology.kif 28845-28845 | 88 is an atomic number of radium |
| (boilingPoint Radium (MeasureFn 1413.0 KelvinDegree)) |
Mid-level-ontology.kif 29407-29407 | 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 28853-28856 | |
| (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 29406-29406 | 973.0 Kelvin degree(s) is a melting point of radium |
| (names Radium "Radium") | Mid-level-ontology.kif 28843-28843 | "Radium" has name radium |
| (roomTempState Radium Solid) | Mid-level-ontology.kif 31570-31570 | roomTempState radium and solid |
| (subclass Radium ElementalSubstance) | Mid-level-ontology.kif 28842-28842 | Radium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ra" Radium) | Mid-level-ontology.kif 28844-28844 | Radium is a conventional short name of "Ra" |
| (termFormat ChineseLanguage Radium "镭") | domainEnglishFormat.kif 48574-48574 | |
| (termFormat ChineseTraditionalLanguage Radium "鐳") | domainEnglishFormat.kif 48573-48573 | |
| (termFormat EnglishLanguage Radium "radium") | domainEnglishFormat.kif 48572-48572 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Radium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 226 Amu))) |
Mid-level-ontology.kif 28847-28851 |
|
|
|
|