| 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 26465-26465 | 53 is an atomic number of iodine |
| (boilingPoint Iodine (MeasureFn 457.55 KelvinDegree)) |
Mid-level-ontology.kif 27550-27550 | 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 26472-26477 | |
| (externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/b/b4/ I-TableImage.png") | pictureList.kif 1820-1820 | |
| (externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Iodine-sample.jpg") | pictureList.kif 2238-2238 | |
| (externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c2/ Iodine-sample.jpg/ 125px-Iodine-sample.jpg") | pictureList.kif 1148-1148 | |
| (meltingPoint Iodine (MeasureFn 386.65 KelvinDegree)) |
Mid-level-ontology.kif 27549-27549 | 386.65 Kelvin degree(s) is a melting point of iodine |
| (names Iodine "Iodine") | Mid-level-ontology.kif 26463-26463 | "Iodine" has name iodine |
| (subclass Iodine ElementalSubstance) | Mid-level-ontology.kif 26462-26462 | Iodine is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "I" Iodine) | Mid-level-ontology.kif 26464-26464 | Iodine is a conventional short name of "I" |
| (termFormat ChineseLanguage Iodine "碘") | domainEnglishFormat.kif 30907-30907 | |
| (termFormat ChineseTraditionalLanguage Iodine "碘") | domainEnglishFormat.kif 30906-30906 | |
| (termFormat EnglishLanguage Iodine "iodine") | domainEnglishFormat.kif 30905-30905 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Iodine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 126.904 Amu))) |
Mid-level-ontology.kif 26466-26470 |
|
|
|
|