| Thorium(thorium)
| | Th, atomic_number_90, thorium |
| appearance as argument number 1 |
|
|
| (atomicNumber Thorium 90) | Mid-level-ontology.kif 29112-29112 | 90 is an atomic number of thorium |
| (boilingPoint Thorium (MeasureFn 5060.0 KelvinDegree)) |
Mid-level-ontology.kif 29644-29644 | 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 29120-29124 | 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 2399-2399 | 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 2028-2028 | 5060.0 Kelvin degree(s) is a boiling point of thorium |
| (meltingPoint Thorium (MeasureFn 2023.0 KelvinDegree)) |
Mid-level-ontology.kif 29643-29643 | 2023.0 Kelvin degree(s) is a melting point of thorium |
| (names Thorium "Thorium") | Mid-level-ontology.kif 29110-29110 | "Thorium" has name thorium |
| (roomTempState Thorium Solid) | Mid-level-ontology.kif 31805-31805 | roomTempState thorium and solid |
| (subclass Thorium ElementalSubstance) | Mid-level-ontology.kif 29109-29109 | Thorium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Th" Thorium) | Mid-level-ontology.kif 29111-29111 | Thorium is a conventional short name of "Th" |
| (termFormat ChineseLanguage Thorium "钍") | domainEnglishFormat.kif 57928-57928 | Thorium is a conventional short name of "Th" |
| (termFormat ChineseTraditionalLanguage Thorium "釷") | domainEnglishFormat.kif 57927-57927 | Thorium is a conventional short name of "Th" |
| (termFormat EnglishLanguage Thorium "thorium") | domainEnglishFormat.kif 57926-57926 | 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 29114-29118 |
|
|
|
|