| Tellurium(tellurium)
| | Te, atomic_number_52, tellurium |
| appearance as argument number 1 |
|
|
| (atomicNumber Tellurium 52) | Mid-level-ontology.kif 28127-28127 | 52 is an atomic number of tellurium |
| (boilingPoint Tellurium (MeasureFn 1263.0 KelvinDegree)) |
Mid-level-ontology.kif 29284-29284 | 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 28135-28138 | |
| (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 29283-29283 | 722.7 Kelvin degree(s) is a melting point of tellurium |
| (names Tellurium "Tellurium") | Mid-level-ontology.kif 28125-28125 | "Tellurium" has name tellurium |
| (roomTempState Tellurium Solid) | Mid-level-ontology.kif 31502-31502 | roomTempState tellurium and solid |
| (subclass Tellurium ElementalSubstance) | Mid-level-ontology.kif 28124-28124 | Tellurium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Te" Tellurium) | Mid-level-ontology.kif 28126-28126 | Tellurium is a conventional short name of "Te" |
| (termFormat ChineseLanguage Tellurium "碲") | domainEnglishFormat.kif 57380-57380 | |
| (termFormat ChineseTraditionalLanguage Tellurium "碲") | domainEnglishFormat.kif 57379-57379 | |
| (termFormat EnglishLanguage Tellurium "tellurium") | domainEnglishFormat.kif 57378-57378 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Tellurium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 127.60 Amu))) |
Mid-level-ontology.kif 28129-28133 |
|
|
|
|