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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Thorium

Sigma KEE - Thorium
Thorium

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


(atomicNumber Thorium 90) Mid-level-ontology.kif 28879-28879
(boilingPoint Thorium
    (MeasureFn 5060.0 KelvinDegree))
Mid-level-ontology.kif 29411-29411
(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 28887-28891
(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 29410-29410
(names Thorium "Thorium") Mid-level-ontology.kif 28877-28877
(roomTempState Thorium Solid) Mid-level-ontology.kif 31572-31572
(subclass Thorium ElementalSubstance) Mid-level-ontology.kif 28876-28876

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


(conventionalShortName "Th" Thorium) Mid-level-ontology.kif 28878-28878
(termFormat ChineseLanguage Thorium "钍") domainEnglishFormat.kif 57886-57886
(termFormat ChineseTraditionalLanguage Thorium "釷") domainEnglishFormat.kif 57885-57885
(termFormat EnglishLanguage Thorium "thorium") domainEnglishFormat.kif 57884-57884

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Thorium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 232.038 Amu)))
Mid-level-ontology.kif 28881-28885


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

Show without tree


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