Thorium |
appearance as argument number 1 |
(atomicNumber Thorium 90) | Mid-level-ontology.kif 28828-28828 | |
(boilingPoint Thorium (MeasureFn 5060.0 KelvinDegree)) |
Mid-level-ontology.kif 29360-29360 | |
(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 28836-28840 | |
(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 29359-29359 | |
(names Thorium "Thorium") | Mid-level-ontology.kif 28826-28826 | |
(roomTempState Thorium Solid) | Mid-level-ontology.kif 31540-31540 | |
(subclass Thorium ElementalSubstance) | Mid-level-ontology.kif 28825-28825 |
appearance as argument number 2 |
(conventionalShortName "Th" Thorium) | Mid-level-ontology.kif 28827-28827 | |
(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 28830-28834 |