| Thorium(thorium)
| | Th, atomic_number_90, thorium |
| appearance as argument number 1 |
|
|
| (atomicNumber Thorium 90) | Mid-level-ontology.kif 29943-29943 | 90 is an atomic number of thorium |
| (boilingPoint Thorium (MeasureFn 5060.0 KelvinDegree)) |
Mid-level-ontology.kif 30475-30475 | 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 29951-29955 | 5060.0 Kelvin degree(s) is a boiling point of thorium |
| (externalImage Thorium "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ MonaziteUSGOV.jpg") | pictureList.kif 2398-2398 | 5060.0 Kelvin degree(s) is a boiling point of thorium |
| (externalImage Thorium "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Th_TableImage.png") | pictureList.kif 2027-2027 | 5060.0 Kelvin degree(s) is a boiling point of thorium |
| (meltingPoint Thorium (MeasureFn 2023.0 KelvinDegree)) |
Mid-level-ontology.kif 30474-30474 | 2023.0 Kelvin degree(s) is a melting point of thorium |
| (names Thorium "Thorium") | Mid-level-ontology.kif 29941-29941 | "Thorium" has name thorium |
| (roomTempState Thorium Solid) | Mid-level-ontology.kif 32663-32663 | roomTempState thorium and solid |
| (subclass Thorium ElementalSubstance) | Mid-level-ontology.kif 29940-29940 | Thorium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Th" Thorium) | Mid-level-ontology.kif 29942-29942 | Thorium is a conventional short name of "Th" |
| (termFormat ChineseLanguage Thorium "钍") | domainEnglishFormat.kif 57921-57921 | Thorium is a conventional short name of "Th" |
| (termFormat ChineseTraditionalLanguage Thorium "釷") | domainEnglishFormat.kif 57920-57920 | Thorium is a conventional short name of "Th" |
| (termFormat EnglishLanguage Thorium "thorium") | domainEnglishFormat.kif 57919-57919 | Thorium is a conventional short name of "Th" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Thorium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 232.038 Amu))) |
Mid-level-ontology.kif 29945-29949 |
|
|
|
|