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 28427-28427
(boilingPoint Iodine
    (MeasureFn 457.55 KelvinDegree))
Mid-level-ontology.kif 29570-29570
(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 28435-28440
(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 29569-29569
(names Iodine "Iodine") Mid-level-ontology.kif 28425-28425
(roomTempState Iodine Solid) Mid-level-ontology.kif 31768-31768
(subclass Iodine ElementalSubstance) Mid-level-ontology.kif 28424-28424

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


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

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


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


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