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 28129-28129 atomicNumber Indium and 49
(boilingPoint Indium
    (MeasureFn 2353.0 KelvinDegree))
Mid-level-ontology.kif 29329-29329 boilingPoint Indium and 2353.0 KelvinDegree(s)
(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 28137-28140
(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 29328-29328 meltingPoint Indium and 429.32 KelvinDegree(s)
(names Indium "Indium") Mid-level-ontology.kif 28127-28127 "Indium" se chama nome Indium
(roomTempState Indium Solid) Mid-level-ontology.kif 31531-31531 roomTempState Indium and Solid
(subclass Indium ElementalSubstance) Mid-level-ontology.kif 28126-28126 Indium e' uma sub-classe de Substancia Elementar

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


(conventionalShortName "In" Indium) Mid-level-ontology.kif 28128-28128 conventionalShortName "In" and Indium
(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 28131-28135


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