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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Thorium
Thorium

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


(atomicNumber Thorium 90) Mid-level-ontology.kif 29772-29772
(boilingPoint Thorium
    (MeasureFn 5060.0 KelvinDegree))
Mid-level-ontology.kif 30304-30304
(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 29780-29784
(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 30303-30303
(names Thorium "Thorium") Mid-level-ontology.kif 29770-29770
(roomTempState Thorium Solid) Mid-level-ontology.kif 32492-32492
(subclass Thorium ElementalSubstance) Mid-level-ontology.kif 29769-29769

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


(conventionalShortName "Th" Thorium) Mid-level-ontology.kif 29771-29771
(termFormat ChineseLanguage Thorium "钍") domainEnglishFormat.kif 57921-57921
(termFormat ChineseTraditionalLanguage Thorium "釷") domainEnglishFormat.kif 57920-57920
(termFormat EnglishLanguage Thorium "thorium") domainEnglishFormat.kif 57919-57919

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


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


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