| Tellurium(tellurium)
| | Te, atomic_number_52, tellurium |
| appearance as argument number 1 |
|
|
| (atomicNumber Tellurium 52) | Mid-level-ontology.kif 28411-28411 | 52 is an atomic number of tellurium |
| (boilingPoint Tellurium (MeasureFn 1263.0 KelvinDegree)) |
Mid-level-ontology.kif 29568-29568 | 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 28419-28422 | 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 2393-2393 | 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 2023-2023 | 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 29567-29567 | 722.7 Kelvin degree(s) is a melting point of tellurium |
| (names Tellurium "Tellurium") | Mid-level-ontology.kif 28409-28409 | "Tellurium" has name tellurium |
| (roomTempState Tellurium Solid) | Mid-level-ontology.kif 31767-31767 | roomTempState tellurium and solid |
| (subclass Tellurium ElementalSubstance) | Mid-level-ontology.kif 28408-28408 | Tellurium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Te" Tellurium) | Mid-level-ontology.kif 28410-28410 | Tellurium is a conventional short name of "Te" |
| (termFormat ChineseLanguage Tellurium "碲") | domainEnglishFormat.kif 57422-57422 | Tellurium is a conventional short name of "Te" |
| (termFormat ChineseTraditionalLanguage Tellurium "碲") | domainEnglishFormat.kif 57421-57421 | Tellurium is a conventional short name of "Te" |
| (termFormat EnglishLanguage Tellurium "tellurium") | domainEnglishFormat.kif 57420-57420 | 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 28413-28417 |
|
|
|
|