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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Iodine

Sigma KEE - Iodine
Iodine(碘)

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


(atomicNumber Iodine 53) Mid-level-ontology.kif 28131-28131 53 是 atomic 数字
(boilingPoint Iodine
    (MeasureFn 457.55 KelvinDegree))
Mid-level-ontology.kif 29274-29274 457.55 凯文度boiling
(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 28139-28144
(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 29273-29273 386.65 凯文度melting
(names Iodine "Iodine") Mid-level-ontology.kif 28129-28129 "Iodine" 的名 是
(roomTempState Iodine Solid) Mid-level-ontology.kif 31499-31499 roomTempState and 固体
(subclass Iodine ElementalSubstance) Mid-level-ontology.kif 28128-28128 元素物质subclass

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


(conventionalShortName "I" Iodine) Mid-level-ontology.kif 28130-28130 是 "I" 的 conventional 简称
(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 28133-28137


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

Show without tree


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