Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tantalum
Tantalum

appearance as argument number 1
-------------------------


(atomicNumber Tantalum 73) Mid-level-ontology.kif 30198-30198
(boilingPoint Tantalum
    (MeasureFn 5698.0 KelvinDegree))
Mid-level-ontology.kif 31004-31004
(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
(externalImage Tantalum "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Ta%2C73.jpg") pictureList.kif 2389-2389
(externalImage Tantalum "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Ta_TableImage.png") pictureList.kif 2013-2013
(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 31003-31003
(names Tantalum "Tantalum") Mid-level-ontology.kif 30196-30196
(roomTempState Tantalum Solid) Mid-level-ontology.kif 33227-33227
(subclass Tantalum ElementalSubstance) Mid-level-ontology.kif 30195-30195

appearance as argument number 2
-------------------------


(conventionalShortName "Ta" Tantalum) Mid-level-ontology.kif 30197-30197
(termFormat ChineseLanguage Tantalum "钽") domainEnglishFormat.kif 56950-56950
(termFormat ChineseTraditionalLanguage Tantalum "鉭") domainEnglishFormat.kif 56949-56949
(termFormat EnglishLanguage Tantalum "tantalum") domainEnglishFormat.kif 56948-56948

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Tantalum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 180.948 Amu)))
Mid-level-ontology.kif 30200-30204


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners