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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tin
Tin

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


(atomicNumber Tin 50) Mid-level-ontology.kif 28378-28378
(boilingPoint Tin
    (MeasureFn 2543.0 KelvinDegree))
Mid-level-ontology.kif 29564-29564
(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 28386-28389
(externalImage Tin "http://upload.wikimedia.org/wikipedia/commons/3/33/Sn-TableImage.png") pictureList.kif 2034-2034
(externalImage Tin "http://upload.wikimedia.org/wikipedia/commons/c/cb/Sn%2C50.jpg") pictureList.kif 2405-2405
(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 29563-29563
(names Tin "Tin") Mid-level-ontology.kif 28376-28376
(roomTempState Tin Solid) Mid-level-ontology.kif 31765-31765
(subclass Tin ElementalSubstance) Mid-level-ontology.kif 28375-28375

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


(conventionalShortName "Sn" Tin) Mid-level-ontology.kif 28377-28377
(termFormat ChineseLanguage Tin "锡") domainEnglishFormat.kif 58181-58181
(termFormat ChineseTraditionalLanguage Tin "錫") domainEnglishFormat.kif 58180-58180
(termFormat EnglishLanguage Tin "tin") domainEnglishFormat.kif 58179-58179

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


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


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