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 29997-29997 49 is an atomic number of indium
(boilingPoint Indium
    (MeasureFn 2353.0 KelvinDegree))
Mid-level-ontology.kif 31197-31197 2353.0 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 30005-30008 2353.0 Kelvin degree(s) is a boiling point of indium
(externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/4/49/ In%2C49.jpg") pictureList.kif 2234-2234 2353.0 Kelvin degree(s) is a boiling point of indium
(externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/b/be/ In_TableImage.png") pictureList.kif 1813-1813 2353.0 Kelvin degree(s) is a boiling point of indium
(externalImage Indium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 49/ In%2C49.jpg/ 125px_In%2C49.jpg") pictureList.kif 1145-1145 2353.0 Kelvin degree(s) is a boiling point of indium
(meltingPoint Indium
    (MeasureFn 429.32 KelvinDegree))
Mid-level-ontology.kif 31196-31196 429.32 Kelvin degree(s) is a melting point of indium
(names Indium "Indium") Mid-level-ontology.kif 29995-29995 "Indium" has &ames$"name" Indium
(roomTempState Indium Solid) Mid-level-ontology.kif 33444-33444 room temperature state indium and solid
(subclass Indium ElementalSubstance) Mid-level-ontology.kif 29994-29994 Indium is a subclass of elemental substance

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


(conventionalShortName "In" Indium) Mid-level-ontology.kif 29996-29996 Indium is a conventional short name of "In"
(termFormat ChineseLanguage Indium "铟") domainEnglishFormat.kif 29664-29664 Indium is a conventional short name of "In"
(termFormat ChineseTraditionalLanguage Indium "銦") domainEnglishFormat.kif 29663-29663 Indium is a conventional short name of "In"
(termFormat EnglishLanguage Indium "indium") domainEnglishFormat.kif 29662-29662 Indium is a conventional short name of "In"

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


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


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 3.0 is open source software produced by Articulate Software and its partners