Indium(indium)![]() ![]() ![]() | ![]() | In, atomic_number_49, indium |
appearance as argument number 1 |
![]() |
(atomicNumber Indium 49) | Mid-level-ontology.kif 29997-29997 | 49 is an atomic number of indium |
(boilingPoint Indium (MeasureFn 2353.0 KelvinDegree)) |
Mid-level-ontology.kif 31197-31197 | 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 30005-30008 | 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 2234-2234 | 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 1813-1813 | 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 31196-31196 | 429.32 Kelvin degree(s) is a melting point of indium |
(names Indium "Indium") | Mid-level-ontology.kif 29995-29995 | "Indium" has &ames$"name" Indium |
(roomTempState Indium Solid) | Mid-level-ontology.kif 33444-33444 | room temperature state indium and solid |
(subclass Indium ElementalSubstance) | Mid-level-ontology.kif 29994-29994 | Indium is a subclass of elemental substance |
appearance as argument number 2 |
![]() |
(conventionalShortName "In" Indium) | Mid-level-ontology.kif 29996-29996 | Indium is a conventional short name of "In" |
(termFormat ChineseLanguage Indium "铟") | domainEnglishFormat.kif 29664-29664 | Indium is a conventional short name of "In" |
(termFormat ChineseTraditionalLanguage Indium "銦") | domainEnglishFormat.kif 29663-29663 | Indium is a conventional short name of "In" |
(termFormat EnglishLanguage Indium "indium") | domainEnglishFormat.kif 29662-29662 | 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 29999-30003 |
|
![]() |
![]() |