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 28194-28194
(boilingPoint Iodine
    (MeasureFn 457.55 KelvinDegree))
Mid-level-ontology.kif 29337-29337
(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 28202-28207
(externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/b/b4/ I-TableImage.png") pictureList.kif 1819-1819
(externalImage Iodine "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Iodine-sample.jpg") pictureList.kif 2237-2237
(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 29336-29336
(names Iodine "Iodine") Mid-level-ontology.kif 28192-28192
(roomTempState Iodine Solid) Mid-level-ontology.kif 31535-31535
(subclass Iodine ElementalSubstance) Mid-level-ontology.kif 28191-28191

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


(conventionalShortName "I" Iodine) Mid-level-ontology.kif 28193-28193
(termFormat ChineseLanguage Iodine "碘") domainEnglishFormat.kif 30913-30913
(termFormat ChineseTraditionalLanguage Iodine "碘") domainEnglishFormat.kif 30912-30912
(termFormat EnglishLanguage Iodine "iodine") domainEnglishFormat.kif 30911-30911

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


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


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