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 29193-29193 49 is an atomic number of indium
(boilingPoint Indium
    (MeasureFn 2353.0 KelvinDegree))		 Mid-level-ontology.kif 30393-30393 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 29201-29204 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 30392-30392 429.32 Kelvin degree(s) is a melting point of indium
(names Indium "Indium") Mid-level-ontology.kif 29191-29191 "Indium" has name indium
(roomTempState Indium Solid) Mid-level-ontology.kif 32622-32622 roomTempState indium and solid
(subclass Indium ElementalSubstance) Mid-level-ontology.kif 29190-29190 Indium is a subclass of elemental substance

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


(conventionalShortName "In" Indium) Mid-level-ontology.kif 29192-29192 Indium is a conventional short name of "In"
(termFormat ChineseLanguage Indium "铟") domainEnglishFormat.kif 29681-29681 Indium is a conventional short name of "In"
(termFormat ChineseTraditionalLanguage Indium "銦") domainEnglishFormat.kif 29680-29680 Indium is a conventional short name of "In"
(termFormat EnglishLanguage Indium "indium") domainEnglishFormat.kif 29679-29679 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 29195-29199


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