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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Thulium

Sigma KEE - Thulium
Thulium(铥)

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


(atomicNumber Thulium 69) Mid-level-ontology.kif 28502-28502 69 是 atomic 數字
(boilingPoint Thulium
    (MeasureFn 2000.0 KelvinDegree))
Mid-level-ontology.kif 29369-29369 測量 2000.0 and 凱文度boiling
(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 28510-28513
(externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Tm-TableImage.png") pictureList.kif 2030-2030
(externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Tm%2C69.jpg") pictureList.kif 2402-2402
(externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a7/ Tm%2C69.jpg/ 125px-Tm%2C69.jpg") pictureList.kif 1268-1268
(meltingPoint Thulium
    (MeasureFn 1818.0 KelvinDegree))
Mid-level-ontology.kif 29368-29368 測量 1818.0 and 凱文度melting
(names Thulium "Thulium") Mid-level-ontology.kif 28500-28500 and "Thulium"
(roomTempState Thulium Solid) Mid-level-ontology.kif 31551-31551 roomTempState and 固體
(subclass Thulium ElementalSubstance) Mid-level-ontology.kif 28499-28499 子類 and ElementalSubstance

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


(conventionalShortName "Tm" Thulium) Mid-level-ontology.kif 28501-28501 是 "Tm" 的 conventional 簡稱
(termFormat ChineseLanguage Thulium "铥") domainEnglishFormat.kif 57958-57958
(termFormat ChineseTraditionalLanguage Thulium "铥") domainEnglishFormat.kif 57957-57957
(termFormat EnglishLanguage Thulium "thulium") domainEnglishFormat.kif 57956-57956

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


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


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