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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Thulium
Thulium(thulium)
Tm, atomic_number_69, thulium

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


(atomicNumber Thulium 69) Mid-level-ontology.kif 29566-29566 69 is an atomic number of thulium
(boilingPoint Thulium
    (MeasureFn 2000.0 KelvinDegree))
Mid-level-ontology.kif 30433-30433 2000.0 Kelvin degree(s) is a boiling point of thulium
(documentation Thulium EnglishLanguage "Soft grey metallic element that belongs to the lanthanoids. One natural isotope exists, Tm-169, and seventeen artificial isotopes have been produced. No known uses for the element. Discovered in 1879 by Per Theodor Cleve.") Mid-level-ontology.kif 29574-29577 2000.0 Kelvin degree(s) is a boiling point of thulium
(externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Tm_TableImage.png") pictureList.kif 2029-2029 2000.0 Kelvin degree(s) is a boiling point of thulium
(externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Tm%2C69.jpg") pictureList.kif 2401-2401 2000.0 Kelvin degree(s) is a boiling point of thulium
(externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a7/ Tm%2C69.jpg/ 125px_Tm%2C69.jpg") pictureList.kif 1268-1268 2000.0 Kelvin degree(s) is a boiling point of thulium
(meltingPoint Thulium
    (MeasureFn 1818.0 KelvinDegree))
Mid-level-ontology.kif 30432-30432 1818.0 Kelvin degree(s) is a melting point of thulium
(names Thulium "Thulium") Mid-level-ontology.kif 29564-29564 "Thulium" has name thulium
(roomTempState Thulium Solid) Mid-level-ontology.kif 32642-32642 roomTempState thulium and solid
(subclass Thulium ElementalSubstance) Mid-level-ontology.kif 29563-29563 Thulium is a subclass of elemental substance

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


(conventionalShortName "Tm" Thulium) Mid-level-ontology.kif 29565-29565 Thulium is a conventional short name of "Tm"
(termFormat ChineseLanguage Thulium "铥") domainEnglishFormat.kif 57993-57993 Thulium is a conventional short name of "Tm"
(termFormat ChineseTraditionalLanguage Thulium "铥") domainEnglishFormat.kif 57992-57992 Thulium is a conventional short name of "Tm"
(termFormat EnglishLanguage Thulium "thulium") domainEnglishFormat.kif 57991-57991 Thulium is a conventional short name of "Tm"

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


(=>
    (and
        (instance ?ATOM Thulium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 168.934 Amu)))
Mid-level-ontology.kif 29568-29572


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