| Tantalum(tantalum)
| | Ta, atomic_number_73, tantalum |
| appearance as argument number 1 |
|
|
| (atomicNumber Tantalum 73) | Mid-level-ontology.kif 28571-28571 | 73 is an atomic number of tantalum |
| (boilingPoint Tantalum (MeasureFn 5698.0 KelvinDegree)) |
Mid-level-ontology.kif 29377-29377 | 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 28579-28583 | |
| (externalImage Tantalum "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Ta%2C73.jpg") | pictureList.kif 2390-2390 | |
| (externalImage Tantalum "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Ta-TableImage.png") | pictureList.kif 2014-2014 | |
| (externalImage Tantalum "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8a/ Ta%2C73.jpg/ 125px-Ta%2C73.jpg") | pictureList.kif 1261-1261 | |
| (meltingPoint Tantalum (MeasureFn 3269.0 KelvinDegree)) |
Mid-level-ontology.kif 29376-29376 | 3269.0 Kelvin degree(s) is a melting point of tantalum |
| (names Tantalum "Tantalum") | Mid-level-ontology.kif 28569-28569 | "Tantalum" has name tantalum |
| (roomTempState Tantalum Solid) | Mid-level-ontology.kif 31555-31555 | roomTempState tantalum and solid |
| (subclass Tantalum ElementalSubstance) | Mid-level-ontology.kif 28568-28568 | Tantalum is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ta" Tantalum) | Mid-level-ontology.kif 28570-28570 | Tantalum is a conventional short name of "Ta" |
| (termFormat ChineseLanguage Tantalum "钽") | domainEnglishFormat.kif 56919-56919 | |
| (termFormat ChineseTraditionalLanguage Tantalum "鉭") | domainEnglishFormat.kif 56918-56918 | |
| (termFormat EnglishLanguage Tantalum "tantalum") | domainEnglishFormat.kif 56917-56917 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Tantalum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 180.948 Amu))) |
Mid-level-ontology.kif 28573-28577 |
|
|
|
|