| Tellurium(tellurium)
| | Te, atomic_number_52, tellurium |
| appearance as argument number 1 |
|
|
| (atomicNumber Tellurium 52) | Mid-level-ontology.kif 29805-29805 | 52 is an atomic number of tellurium |
| (boilingPoint Tellurium (MeasureFn 1263.0 KelvinDegree)) |
Mid-level-ontology.kif 30962-30962 | 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 29813-29816 | 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 30961-30961 | 722.7 Kelvin degree(s) is a melting point of tellurium |
| (names Tellurium "Tellurium") | Mid-level-ontology.kif 29803-29803 | "Tellurium" has name tellurium |
| (roomTempState Tellurium Solid) | Mid-level-ontology.kif 33206-33206 | room temperature state tellurium and solid |
| (subclass Tellurium ElementalSubstance) | Mid-level-ontology.kif 29802-29802 | Tellurium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Te" Tellurium) | Mid-level-ontology.kif 29804-29804 | 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 29807-29811 |
|
|
|
|