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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Thulium
Thulium

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


(atomicNumber Thulium 69) Mid-level-ontology.kif 28735-28735
(boilingPoint Thulium
    (MeasureFn 2000.0 KelvinDegree))
Mid-level-ontology.kif 29602-29602
(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 28743-28746
(externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Tm-TableImage.png") pictureList.kif 2029-2029
(externalImage Thulium "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Tm%2C69.jpg") pictureList.kif 2401-2401
(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 29601-29601
(names Thulium "Thulium") Mid-level-ontology.kif 28733-28733
(roomTempState Thulium Solid) Mid-level-ontology.kif 31784-31784
(subclass Thulium ElementalSubstance) Mid-level-ontology.kif 28732-28732

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


(conventionalShortName "Tm" Thulium) Mid-level-ontology.kif 28734-28734
(termFormat ChineseLanguage Thulium "铥") domainEnglishFormat.kif 57995-57995
(termFormat ChineseTraditionalLanguage Thulium "铥") domainEnglishFormat.kif 57994-57994
(termFormat EnglishLanguage Thulium "thulium") domainEnglishFormat.kif 57993-57993

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


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


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