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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tantalum

Sigma KEE - Tantalum
Tantalum(鉭)

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


(atomicNumber Tantalum 73) Mid-level-ontology.kif 28508-28508 73 是 atomic 數字
(boilingPoint Tantalum
    (MeasureFn 5698.0 KelvinDegree))
Mid-level-ontology.kif 29314-29314 測量 5698.0 and 凱文度boiling
(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 28516-28520
(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 29313-29313 測量 3269.0 and 凱文度melting
(names Tantalum "Tantalum") Mid-level-ontology.kif 28506-28506 and "Tantalum"
(roomTempState Tantalum Solid) Mid-level-ontology.kif 31519-31519 roomTempState and 固體
(subclass Tantalum ElementalSubstance) Mid-level-ontology.kif 28505-28505 子類 and ElementalSubstance

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


(conventionalShortName "Ta" Tantalum) Mid-level-ontology.kif 28507-28507 是 "Ta" 的 conventional 簡稱
(termFormat ChineseLanguage Tantalum "钽") domainEnglishFormat.kif 56917-56917
(termFormat ChineseTraditionalLanguage Tantalum "鉭") domainEnglishFormat.kif 56916-56916
(termFormat EnglishLanguage Tantalum "tantalum") domainEnglishFormat.kif 56915-56915

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


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


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

Show without tree


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