| Tellurium(tellurium)
| | Te, atomic_number_52, tellurium |
| appearance as argument number 1 |
|
|
| (atomicNumber Tellurium 52) | Mid-level-ontology.kif 28178-28178 | 52 is an atomic number of tellurium |
| (boilingPoint Tellurium (MeasureFn 1263.0 KelvinDegree)) |
Mid-level-ontology.kif 29335-29335 | 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 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 | 722.7 Kelvin degree(s) is a melting point of tellurium |
| (names Tellurium "Tellurium") | Mid-level-ontology.kif 28176-28176 | "Tellurium" has name tellurium |
| (roomTempState Tellurium Solid) | Mid-level-ontology.kif 31534-31534 | roomTempState tellurium and solid |
| (subclass Tellurium ElementalSubstance) | Mid-level-ontology.kif 28175-28175 | Tellurium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Te" Tellurium) | Mid-level-ontology.kif 28177-28177 | Tellurium is a conventional short name of "Te" |
| (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 |
|
|
|
|