| Indium(indium)
| | In, atomic_number_49, indium |
| appearance as argument number 1 |
|
|
| (atomicNumber Indium 49) | Mid-level-ontology.kif 28362-28362 | 49 is an atomic number of indium |
| (boilingPoint Indium (MeasureFn 2353.0 KelvinDegree)) |
Mid-level-ontology.kif 29562-29562 | 2353.0 Kelvin degree(s) is a boiling point of indium |
| (documentation Indium EnglishLanguage "Soft silvery element belonging to group 13 of the periodic table. The most common natural isotope is In-115, which has a half-life of 6*10^4 years. Five other radioisotopes exist. Discovered in 1863 by Reich and Richter.") | Mid-level-ontology.kif 28370-28373 | 2353.0 Kelvin degree(s) is a boiling point of indium |
| (externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/4/49/ In%2C49.jpg") | pictureList.kif 2235-2235 | 2353.0 Kelvin degree(s) is a boiling point of indium |
| (externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/b/be/ In-TableImage.png") | pictureList.kif 1814-1814 | 2353.0 Kelvin degree(s) is a boiling point of indium |
| (externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 49/ In%2C49.jpg/ 125px-In%2C49.jpg") | pictureList.kif 1145-1145 | 2353.0 Kelvin degree(s) is a boiling point of indium |
| (meltingPoint Indium (MeasureFn 429.32 KelvinDegree)) |
Mid-level-ontology.kif 29561-29561 | 429.32 Kelvin degree(s) is a melting point of indium |
| (names Indium "Indium") | Mid-level-ontology.kif 28360-28360 | "Indium" has name indium |
| (roomTempState Indium Solid) | Mid-level-ontology.kif 31764-31764 | roomTempState indium and solid |
| (subclass Indium ElementalSubstance) | Mid-level-ontology.kif 28359-28359 | Indium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "In" Indium) | Mid-level-ontology.kif 28361-28361 | Indium is a conventional short name of "In" |
| (termFormat ChineseLanguage Indium "铟") | domainEnglishFormat.kif 29687-29687 | Indium is a conventional short name of "In" |
| (termFormat ChineseTraditionalLanguage Indium "銦") | domainEnglishFormat.kif 29686-29686 | Indium is a conventional short name of "In" |
| (termFormat EnglishLanguage Indium "indium") | domainEnglishFormat.kif 29685-29685 | Indium is a conventional short name of "In" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Indium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 114.82 Amu))) |
Mid-level-ontology.kif 28364-28368 |
|
|
|
|