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 28066-28066 49 是 atomic 数字
(boilingPoint Indium
    (MeasureFn 2353.0 KelvinDegree))
Mid-level-ontology.kif 29266-29266 2353.0 凯文度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 28074-28077
(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 29265-29265 429.32 凯文度melting
(names Indium "Indium") Mid-level-ontology.kif 28064-28064 "Indium" 的名 是
(roomTempState Indium Solid) Mid-level-ontology.kif 31495-31495 roomTempState and 固体
(subclass Indium ElementalSubstance) Mid-level-ontology.kif 28063-28063 元素物质subclass

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


(conventionalShortName "In" Indium) Mid-level-ontology.kif 28065-28065 是 "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 28068-28072


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