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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tin

Sigma KEE - Tin
Tin(錫)

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


(atomicNumber Tin 50) Mid-level-ontology.kif 28094-28094 50 是 atomic 數字
(boilingPoint Tin
    (MeasureFn 2543.0 KelvinDegree))
Mid-level-ontology.kif 29280-29280 測量 2543.0 and 凱文度boiling
(documentation Tin EnglishLanguage "Silvery malleable metallic element belonging to group 14 of the periodic table. Twenty-six isotopes are known, five of which are radioactive. Chemically reactive. Combines directly with chlorine and oxygen and displaces hydrogen from dilute acids. ") Mid-level-ontology.kif 28102-28105
(externalImage Tin "http://upload.wikimedia.org/wikipedia/commons/3/33/Sn-TableImage.png") pictureList.kif 2035-2035
(externalImage Tin "http://upload.wikimedia.org/wikipedia/commons/c/cb/Sn%2C50.jpg") pictureList.kif 2406-2406
(externalImage Tin "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cb/ Sn%2C50.jpg/ 125px-Sn%2C50.jpg") pictureList.kif 1269-1269
(meltingPoint Tin
    (MeasureFn 505.118 KelvinDegree))
Mid-level-ontology.kif 29279-29279 測量 505.118 and 凱文度melting
(names Tin "Tin") Mid-level-ontology.kif 28092-28092 and "Tin"
(roomTempState Tin Solid) Mid-level-ontology.kif 31500-31500 roomTempState and 固體
(subclass Tin ElementalSubstance) Mid-level-ontology.kif 28091-28091 子類 and ElementalSubstance

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


(conventionalShortName "Sn" Tin) Mid-level-ontology.kif 28093-28093 是 "Sn" 的 conventional 簡稱
(termFormat ChineseLanguage Tin "锡") domainEnglishFormat.kif 58142-58142
(termFormat ChineseTraditionalLanguage Tin "錫") domainEnglishFormat.kif 58141-58141
(termFormat EnglishLanguage Tin "tin") domainEnglishFormat.kif 58140-58140

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


(=>
    (and
        (instance ?ATOM Tin)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 118.69 Amu)))
Mid-level-ontology.kif 28096-28100


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