| Tantalum(tantalum)
| | Ta, atomic_number_73, tantalum |
| appearance as argument number 1 |
|
|
| (atomicNumber Tantalum 73) | Mid-level-ontology.kif 28804-28804 | 73 is an atomic number of tantalum |
| (boilingPoint Tantalum (MeasureFn 5698.0 KelvinDegree)) |
Mid-level-ontology.kif 29610-29610 | 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 28812-28816 | 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 2390-2390 | 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 2014-2014 | 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 29609-29609 | 3269.0 Kelvin degree(s) is a melting point of tantalum |
| (names Tantalum "Tantalum") | Mid-level-ontology.kif 28802-28802 | "Tantalum" has name tantalum |
| (roomTempState Tantalum Solid) | Mid-level-ontology.kif 31788-31788 | roomTempState tantalum and solid |
| (subclass Tantalum ElementalSubstance) | Mid-level-ontology.kif 28801-28801 | Tantalum is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ta" Tantalum) | Mid-level-ontology.kif 28803-28803 | Tantalum is a conventional short name of "Ta" |
| (termFormat ChineseLanguage Tantalum "钽") | domainEnglishFormat.kif 56957-56957 | Tantalum is a conventional short name of "Ta" |
| (termFormat ChineseTraditionalLanguage Tantalum "鉭") | domainEnglishFormat.kif 56956-56956 | Tantalum is a conventional short name of "Ta" |
| (termFormat EnglishLanguage Tantalum "tantalum") | domainEnglishFormat.kif 56955-56955 | 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 28806-28810 |
|
|
|
|