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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tellurium
Tellurium

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


(atomicNumber Tellurium 52) Mid-level-ontology.kif 29805-29805
(boilingPoint Tellurium
    (MeasureFn 1263.0 KelvinDegree))
Mid-level-ontology.kif 30962-30962
(documentation Tellurium EnglishLanguage "Silvery metalloid element of group 16. Eight natural isotopes, nine radioactive isotopes. Used in semiconductors and to a degree in some steels. Chemistry is similar to {sulphur}. Discovered in 1782 by Franz Miller.") Mid-level-ontology.kif 29813-29816
(externalImage Tellurium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Te%2C52.jpg") pictureList.kif 2392-2392
(externalImage Tellurium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Te_TableImage.png") pictureList.kif 2022-2022
(externalImage Tellurium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 5e/ Te%2C52.jpg/ 125px_Te%2C52.jpg") pictureList.kif 1265-1265
(meltingPoint Tellurium
    (MeasureFn 722.7 KelvinDegree))
Mid-level-ontology.kif 30961-30961
(names Tellurium "Tellurium") Mid-level-ontology.kif 29803-29803
(roomTempState Tellurium Solid) Mid-level-ontology.kif 33206-33206
(subclass Tellurium ElementalSubstance) Mid-level-ontology.kif 29802-29802

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


(conventionalShortName "Te" Tellurium) Mid-level-ontology.kif 29804-29804
(termFormat ChineseLanguage Tellurium "碲") domainEnglishFormat.kif 57415-57415
(termFormat ChineseTraditionalLanguage Tellurium "碲") domainEnglishFormat.kif 57414-57414
(termFormat EnglishLanguage Tellurium "tellurium") domainEnglishFormat.kif 57413-57413

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


(=>
    (and
        (instance ?ATOM Tellurium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 127.60 Amu)))
Mid-level-ontology.kif 29807-29811


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