| Tantalum(tantalum)
| | Ta, atomic_number_73, tantalum |
| appearance as argument number 1 |
|
|
| (atomicNumber Tantalum 73) | Mid-level-ontology.kif 30198-30198 | 73 is an atomic number of tantalum |
| (boilingPoint Tantalum (MeasureFn 5698.0 KelvinDegree)) |
Mid-level-ontology.kif 31004-31004 | 5698.0 Kelvin degree(s) is a boiling point of tantalum |
| (documentation Tantalum EnglishLanguage "Heavy blue-grey metallic transition element. Ta-181 is a stable isotope, and Ta-180 is a radioactive isotope, with a half-life in excess of 10^7 years. Used in surgery as it is unreactive. Forms a passive oxide layer in air. Identified in 1802 by Ekeberg and isolated in 1820 by Jons J. Berzelius.") | Mid-level-ontology.kif 30206-30210 | 5698.0 Kelvin degree(s) is a boiling point of tantalum |
| (externalImage Tantalum "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Ta%2C73.jpg") | pictureList.kif 2389-2389 | 5698.0 Kelvin degree(s) is a boiling point of tantalum |
| (externalImage Tantalum "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Ta_TableImage.png") | pictureList.kif 2013-2013 | 5698.0 Kelvin degree(s) is a boiling point of tantalum |
| (externalImage Tantalum "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8a/ Ta%2C73.jpg/ 125px_Ta%2C73.jpg") | pictureList.kif 1261-1261 | 5698.0 Kelvin degree(s) is a boiling point of tantalum |
| (meltingPoint Tantalum (MeasureFn 3269.0 KelvinDegree)) |
Mid-level-ontology.kif 31003-31003 | 3269.0 Kelvin degree(s) is a melting point of tantalum |
| (names Tantalum "Tantalum") | Mid-level-ontology.kif 30196-30196 | "Tantalum" has name tantalum |
| (roomTempState Tantalum Solid) | Mid-level-ontology.kif 33227-33227 | room temperature state tantalum and solid |
| (subclass Tantalum ElementalSubstance) | Mid-level-ontology.kif 30195-30195 | Tantalum is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ta" Tantalum) | Mid-level-ontology.kif 30197-30197 | Tantalum is a conventional short name of "Ta" |
| (termFormat ChineseLanguage Tantalum "钽") | domainEnglishFormat.kif 56950-56950 | Tantalum is a conventional short name of "Ta" |
| (termFormat ChineseTraditionalLanguage Tantalum "鉭") | domainEnglishFormat.kif 56949-56949 | Tantalum is a conventional short name of "Ta" |
| (termFormat EnglishLanguage Tantalum "tantalum") | domainEnglishFormat.kif 56948-56948 | Tantalum is a conventional short name of "Ta" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Tantalum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 180.948 Amu))) |
Mid-level-ontology.kif 30200-30204 |
|
|
|
|