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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tellurium
Tellurium(tellurium)
Te, atomic_number_52, tellurium

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


(atomicNumber Tellurium 52) Mid-level-ontology.kif 29242-29242 52 is an atomic number of tellurium
(boilingPoint Tellurium
    (MeasureFn 1263.0 KelvinDegree))
Mid-level-ontology.kif 30399-30399 1263.0 Kelvin degree(s) is a boiling point of tellurium
(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 29250-29253 1263.0 Kelvin degree(s) is a boiling point of tellurium
(externalImage Tellurium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Te%2C52.jpg") pictureList.kif 2392-2392 1263.0 Kelvin degree(s) is a boiling point of tellurium
(externalImage Tellurium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Te_TableImage.png") pictureList.kif 2022-2022 1263.0 Kelvin degree(s) is a boiling point of tellurium
(externalImage Tellurium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 5e/ Te%2C52.jpg/ 125px_Te%2C52.jpg") pictureList.kif 1265-1265 1263.0 Kelvin degree(s) is a boiling point of tellurium
(meltingPoint Tellurium
    (MeasureFn 722.7 KelvinDegree))
Mid-level-ontology.kif 30398-30398 722.7 Kelvin degree(s) is a melting point of tellurium
(names Tellurium "Tellurium") Mid-level-ontology.kif 29240-29240 "Tellurium" has name tellurium
(roomTempState Tellurium Solid) Mid-level-ontology.kif 32625-32625 roomTempState tellurium and solid
(subclass Tellurium ElementalSubstance) Mid-level-ontology.kif 29239-29239 Tellurium is a subclass of elemental substance

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


(conventionalShortName "Te" Tellurium) Mid-level-ontology.kif 29241-29241 Tellurium is a conventional short name of "Te"
(termFormat ChineseLanguage Tellurium "碲") domainEnglishFormat.kif 57415-57415 Tellurium is a conventional short name of "Te"
(termFormat ChineseTraditionalLanguage Tellurium "碲") domainEnglishFormat.kif 57414-57414 Tellurium is a conventional short name of "Te"
(termFormat EnglishLanguage Tellurium "tellurium") domainEnglishFormat.kif 57413-57413 Tellurium is a conventional short name of "Te"

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


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


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