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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tellurium

Sigma KEE - Tellurium
Tellurium

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


(atomicNumber Tellurium 52) Mid-level-ontology.kif 28178-28178 atomicNumber Tellurium and 52
(boilingPoint Tellurium
    (MeasureFn 1263.0 KelvinDegree))
Mid-level-ontology.kif 29335-29335 boilingPoint Tellurium and 1263.0 の KelvinDegree(s)
(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 28186-28189
(externalImage Tellurium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Te%2C52.jpg") pictureList.kif 2393-2393
(externalImage Tellurium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Te-TableImage.png") pictureList.kif 2023-2023
(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 29334-29334 meltingPoint Tellurium and 722.7 の KelvinDegree(s)
(names Tellurium "Tellurium") Mid-level-ontology.kif 28176-28176 "Tellurium" は Telluriumname を 持って %n{ない}
(roomTempState Tellurium Solid) Mid-level-ontology.kif 31534-31534 roomTempState Tellurium and Solid
(subclass Tellurium ElementalSubstance) Mid-level-ontology.kif 28175-28175 Tellurium単体subclass では %n

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


(conventionalShortName "Te" Tellurium) Mid-level-ontology.kif 28177-28177 conventionalShortName "Te" and Tellurium
(termFormat ChineseLanguage Tellurium "碲") domainEnglishFormat.kif 57382-57382
(termFormat ChineseTraditionalLanguage Tellurium "碲") domainEnglishFormat.kif 57381-57381
(termFormat EnglishLanguage Tellurium "tellurium") domainEnglishFormat.kif 57380-57380

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


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


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