| Iodine(iodine)
| | I, atomic_number_53, iodin, iodinated, iodine, iodine-125, iodine-131, iodised, iodized |
| appearance as argument number 1 |
|
|
| (atomicNumber Iodine 53) | Mid-level-ontology.kif 29258-29258 | 53 is an atomic number of iodine |
| (boilingPoint Iodine (MeasureFn 457.55 KelvinDegree)) |
Mid-level-ontology.kif 30401-30401 | 457.55 Kelvin degree(s) is a boiling point of iodine |
| (documentation Iodine EnglishLanguage "Dark violet nonmetallic element, belongs to group 17 of the periodic table. Insoluble in water. Required as a trace element for living organisms. One stable isotope, I-127 exists, in addition to fourteen radioactive isotopes. Chemically the least reactive of the halogens, and the most electropositive metallic halogen. Discovered in 1812 by Courtois. ") | Mid-level-ontology.kif 29266-29271 | 457.55 Kelvin degree(s) is a boiling point of iodine |
| (externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/b/b4/ I_TableImage.png") | pictureList.kif 1818-1818 | 457.55 Kelvin degree(s) is a boiling point of iodine |
| (externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Iodine_sample.jpg") | pictureList.kif 2236-2236 | 457.55 Kelvin degree(s) is a boiling point of iodine |
| (externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c2/ Iodine_sample.jpg/ 125px_Iodine_sample.jpg") | pictureList.kif 1147-1147 | 457.55 Kelvin degree(s) is a boiling point of iodine |
| (meltingPoint Iodine (MeasureFn 386.65 KelvinDegree)) |
Mid-level-ontology.kif 30400-30400 | 386.65 Kelvin degree(s) is a melting point of iodine |
| (names Iodine "Iodine") | Mid-level-ontology.kif 29256-29256 | "Iodine" has name iodine |
| (roomTempState Iodine Solid) | Mid-level-ontology.kif 32626-32626 | roomTempState iodine and solid |
| (subclass Iodine ElementalSubstance) | Mid-level-ontology.kif 29255-29255 | Iodine is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "I" Iodine) | Mid-level-ontology.kif 29257-29257 | Iodine is a conventional short name of "I" |
| (termFormat ChineseLanguage Iodine "碘") | domainEnglishFormat.kif 30941-30941 | Iodine is a conventional short name of "I" |
| (termFormat ChineseTraditionalLanguage Iodine "碘") | domainEnglishFormat.kif 30940-30940 | Iodine is a conventional short name of "I" |
| (termFormat EnglishLanguage Iodine "iodine") | domainEnglishFormat.kif 30939-30939 | Iodine is a conventional short name of "I" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Iodine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 126.904 Amu))) |
Mid-level-ontology.kif 29260-29264 |
|
|
|
|