Thorium |
appearance as argument number 1 |
(atomicNumber Thorium 90) | Mid-level-ontology.kif 29112-29112 | |
(boilingPoint Thorium (MeasureFn 5060.0 KelvinDegree)) |
Mid-level-ontology.kif 29644-29644 | |
(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 | |
(externalImage Thorium "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ MonaziteUSGOV.jpg") | pictureList.kif 2398-2398 | |
(externalImage Thorium "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Th-TableImage.png") | pictureList.kif 2027-2027 | |
(meltingPoint Thorium (MeasureFn 2023.0 KelvinDegree)) |
Mid-level-ontology.kif 29643-29643 | |
(names Thorium "Thorium") | Mid-level-ontology.kif 29110-29110 | |
(roomTempState Thorium Solid) | Mid-level-ontology.kif 31805-31805 | |
(subclass Thorium ElementalSubstance) | Mid-level-ontology.kif 29109-29109 |
appearance as argument number 2 |
(conventionalShortName "Th" Thorium) | Mid-level-ontology.kif 29111-29111 | |
(termFormat ChineseLanguage Thorium "钍") | domainEnglishFormat.kif 57923-57923 | |
(termFormat ChineseTraditionalLanguage Thorium "釷") | domainEnglishFormat.kif 57922-57922 | |
(termFormat EnglishLanguage Thorium "thorium") | domainEnglishFormat.kif 57921-57921 |
antecedent |
(=> (and (instance ?ATOM Thorium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 232.038 Amu))) |
Mid-level-ontology.kif 29114-29118 |