| Tin(tin)
| | Sn, atomic_number_50, tin |
| appearance as argument number 1 |
|
|
| (atomicNumber Tin 50) | Mid-level-ontology.kif 28378-28378 | 50 is an atomic number of tin |
| (boilingPoint Tin (MeasureFn 2543.0 KelvinDegree)) |
Mid-level-ontology.kif 29564-29564 | 2543.0 Kelvin degree(s) is a boiling point of tin |
| (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 | 2543.0 Kelvin degree(s) is a boiling point of tin |
| (externalImage Tin "http://upload.wikimedia.org/wikipedia/commons/3/33/Sn-TableImage.png") | pictureList.kif 2035-2035 | 2543.0 Kelvin degree(s) is a boiling point of tin |
| (externalImage Tin "http://upload.wikimedia.org/wikipedia/commons/c/cb/Sn%2C50.jpg") | pictureList.kif 2406-2406 | 2543.0 Kelvin degree(s) is a boiling point of tin |
| (externalImage Tin "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cb/ Sn%2C50.jpg/ 125px-Sn%2C50.jpg") | pictureList.kif 1269-1269 | 2543.0 Kelvin degree(s) is a boiling point of tin |
| (meltingPoint Tin (MeasureFn 505.118 KelvinDegree)) |
Mid-level-ontology.kif 29563-29563 | 505.118 Kelvin degree(s) is a melting point of tin |
| (names Tin "Tin") | Mid-level-ontology.kif 28376-28376 | "Tin" has name tin |
| (roomTempState Tin Solid) | Mid-level-ontology.kif 31765-31765 | roomTempState tin and solid |
| (subclass Tin ElementalSubstance) | Mid-level-ontology.kif 28375-28375 | Tin is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Sn" Tin) | Mid-level-ontology.kif 28377-28377 | Tin is a conventional short name of "Sn" |
| (termFormat ChineseLanguage Tin "锡") | domainEnglishFormat.kif 58186-58186 | Tin is a conventional short name of "Sn" |
| (termFormat ChineseTraditionalLanguage Tin "錫") | domainEnglishFormat.kif 58185-58185 | Tin is a conventional short name of "Sn" |
| (termFormat EnglishLanguage Tin "tin") | domainEnglishFormat.kif 58184-58184 | Tin is a conventional short name of "Sn" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Tin) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 118.69 Amu))) |
Mid-level-ontology.kif 28380-28384 |
|
|
|
|