Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Iodine
Iodine

appearance as argument number 1
-------------------------


(atomicNumber Iodine 53) Mid-level-ontology.kif 29821-29821
(boilingPoint Iodine
    (MeasureFn 457.55 KelvinDegree))
Mid-level-ontology.kif 30964-30964
(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 29829-29834
(externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/b/b4/ I_TableImage.png") pictureList.kif 1818-1818
(externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Iodine_sample.jpg") pictureList.kif 2236-2236
(externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c2/ Iodine_sample.jpg/ 125px_Iodine_sample.jpg") pictureList.kif 1147-1147
(meltingPoint Iodine
    (MeasureFn 386.65 KelvinDegree))
Mid-level-ontology.kif 30963-30963
(names Iodine "Iodine") Mid-level-ontology.kif 29819-29819
(roomTempState Iodine Solid) Mid-level-ontology.kif 33207-33207
(subclass Iodine ElementalSubstance) Mid-level-ontology.kif 29818-29818

appearance as argument number 2
-------------------------


(conventionalShortName "I" Iodine) Mid-level-ontology.kif 29820-29820
(termFormat ChineseLanguage Iodine "碘") domainEnglishFormat.kif 30941-30941
(termFormat ChineseTraditionalLanguage Iodine "碘") domainEnglishFormat.kif 30940-30940
(termFormat EnglishLanguage Iodine "iodine") domainEnglishFormat.kif 30939-30939

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Iodine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 126.904 Amu)))
Mid-level-ontology.kif 29823-29827


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners