| Tin(tin)
| | Sn, atomic_number_50, tin |
| appearance as argument number 1 |
|
|
| (atomicNumber Tin 50) | Mid-level-ontology.kif 29772-29772 | 50 is an atomic number of tin |
| (boilingPoint Tin (MeasureFn 2543.0 KelvinDegree)) |
Mid-level-ontology.kif 30958-30958 | 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 29780-29783 | 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 2034-2034 | 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 2405-2405 | 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 30957-30957 | 505.118 Kelvin degree(s) is a melting point of tin |
| (names Tin "Tin") | Mid-level-ontology.kif 29770-29770 | "Tin" has name tin |
| (roomTempState Tin Solid) | Mid-level-ontology.kif 33204-33204 | room temperature state tin and solid |
| (subclass Tin ElementalSubstance) | Mid-level-ontology.kif 29769-29769 | Tin is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Sn" Tin) | Mid-level-ontology.kif 29771-29771 | Tin is a conventional short name of "Sn" |
| (termFormat ChineseLanguage Tin "锡") | domainEnglishFormat.kif 58179-58179 | Tin is a conventional short name of "Sn" |
| (termFormat ChineseTraditionalLanguage Tin "錫") | domainEnglishFormat.kif 58178-58178 | Tin is a conventional short name of "Sn" |
| (termFormat EnglishLanguage Tin "tin") | domainEnglishFormat.kif 58177-58177 | 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 29774-29778 |
|
|
|
|