| Thorium(thorium)
| | Th, atomic_number_90, thorium |
| appearance as argument number 1 |
|
|
| (atomicNumber Thorium 90) | Mid-level-ontology.kif 28816-28816 | 90 is an atomic number of thorium |
| (boilingPoint Thorium (MeasureFn 5060.0 KelvinDegree)) |
Mid-level-ontology.kif 29348-29348 | 5060.0 Kelvin degree(s) is a boiling point of thorium |
| (documentation Thorium EnglishLanguage "Grey radioactive metallic element. Belongs to actinoids. Found in monazite sand in Brazil, India and the US. Thorium-232 has a half-life of 1.39x10^10 years. Can be used as a nuclear fuel for breeder reactors. Thorium-232 captures slow {neutron}s and breeds uranium-233. Discovered by Jons J. Berzelius in 1829.") | Mid-level-ontology.kif 28824-28828 | |
| (externalImage Thorium "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ MonaziteUSGOV.jpg") | pictureList.kif 2399-2399 | |
| (externalImage Thorium "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Th-TableImage.png") | pictureList.kif 2028-2028 | |
| (meltingPoint Thorium (MeasureFn 2023.0 KelvinDegree)) |
Mid-level-ontology.kif 29347-29347 | 2023.0 Kelvin degree(s) is a melting point of thorium |
| (names Thorium "Thorium") | Mid-level-ontology.kif 28814-28814 | "Thorium" has name thorium |
| (roomTempState Thorium Solid) | Mid-level-ontology.kif 31536-31536 | roomTempState thorium and solid |
| (subclass Thorium ElementalSubstance) | Mid-level-ontology.kif 28813-28813 | Thorium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Th" Thorium) | Mid-level-ontology.kif 28815-28815 | Thorium is a conventional short name of "Th" |
| (termFormat ChineseLanguage Thorium "钍") | domainEnglishFormat.kif 57884-57884 | |
| (termFormat ChineseTraditionalLanguage Thorium "釷") | domainEnglishFormat.kif 57883-57883 | |
| (termFormat EnglishLanguage Thorium "thorium") | domainEnglishFormat.kif 57882-57882 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Thorium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 232.038 Amu))) |
Mid-level-ontology.kif 28818-28822 |
|
|
|
|