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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Indium

Sigma KEE - Indium
Indium(銦)

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


(atomicNumber Indium 49) Mid-level-ontology.kif 28078-28078 49 是 atomic 數字
(boilingPoint Indium
    (MeasureFn 2353.0 KelvinDegree))
Mid-level-ontology.kif 29278-29278 測量 2353.0 and 凱文度boiling
(documentation Indium EnglishLanguage "Soft silvery element belonging to group 13 of the periodic table. The most common natural isotope is In-115, which has a half-life of 6*10^4 years. Five other radioisotopes exist. Discovered in 1863 by Reich and Richter.") Mid-level-ontology.kif 28086-28089
(externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/4/49/ In%2C49.jpg") pictureList.kif 2235-2235
(externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/b/be/ In-TableImage.png") pictureList.kif 1814-1814
(externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 49/ In%2C49.jpg/ 125px-In%2C49.jpg") pictureList.kif 1145-1145
(meltingPoint Indium
    (MeasureFn 429.32 KelvinDegree))
Mid-level-ontology.kif 29277-29277 測量 429.32 and 凱文度melting
(names Indium "Indium") Mid-level-ontology.kif 28076-28076 and "Indium"
(roomTempState Indium Solid) Mid-level-ontology.kif 31499-31499 roomTempState and 固體
(subclass Indium ElementalSubstance) Mid-level-ontology.kif 28075-28075 子類 and ElementalSubstance

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


(conventionalShortName "In" Indium) Mid-level-ontology.kif 28077-28077 是 "In" 的 conventional 簡稱
(termFormat ChineseLanguage Indium "铟") domainEnglishFormat.kif 29653-29653
(termFormat ChineseTraditionalLanguage Indium "銦") domainEnglishFormat.kif 29652-29652
(termFormat EnglishLanguage Indium "indium") domainEnglishFormat.kif 29651-29651

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


(=>
    (and
        (instance ?ATOM Indium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 114.82 Amu)))
Mid-level-ontology.kif 28080-28084


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