Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Thorium
Thorium(thorium)
Th, atomic_number_90, thorium

appearance as argument number 1
-------------------------


(atomicNumber Thorium 90) Mid-level-ontology.kif 28828-28828 90 is an atomic number of thorium
(boilingPoint Thorium
    (MeasureFn 5060.0 KelvinDegree))
Mid-level-ontology.kif 29360-29360 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 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 2023.0 Kelvin degree(s) is a melting point of thorium
(names Thorium "Thorium") Mid-level-ontology.kif 28826-28826 "Thorium" has name thorium
(roomTempState Thorium Solid) Mid-level-ontology.kif 31540-31540 roomTempState thorium and solid
(subclass Thorium ElementalSubstance) Mid-level-ontology.kif 28825-28825 Thorium is a subclass of elemental substance

appearance as argument number 2
-------------------------


(conventionalShortName "Th" Thorium) Mid-level-ontology.kif 28827-28827 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 28830-28834


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners