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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Indium
Indium(indium)
In, atomic_number_49, indium

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


(atomicNumber Indium 49) Mid-level-ontology.kif 26298-26298 49 is an atomic number of indium
(boilingPoint Indium
    (MeasureFn 2353 KelvinDegree))
Mid-level-ontology.kif 27436-27436 2353 Kelvin degree(s) is a boiling point of indium
(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 26305-26308
(externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/4/49/ In%2C49.jpg") pictureList.kif 2236-2236
(externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/b/be/ In-TableImage.png") pictureList.kif 1815-1815
(externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 49/ In%2C49.jpg/ 125px-In%2C49.jpg") pictureList.kif 1146-1146
(meltingPoint Indium
    (MeasureFn 429.32 KelvinDegree))
Mid-level-ontology.kif 27435-27435 429.32 Kelvin degree(s) is a melting point of indium
(names Indium "Indium") Mid-level-ontology.kif 26296-26296 "Indium" has name indium
(subclass Indium ElementalSubstance) Mid-level-ontology.kif 26295-26295 Indium is a subclass of elemental substance

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


(conventionalShortName "In" Indium) Mid-level-ontology.kif 26297-26297 Indium is a conventional short name of "In"
(termFormat ChineseLanguage Indium "铟") domainEnglishFormat.kif 29551-29551
(termFormat ChineseTraditionalLanguage Indium "銦") domainEnglishFormat.kif 29550-29550
(termFormat EnglishLanguage Indium "indium") domainEnglishFormat.kif 29549-29549

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners