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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Alumina
Alumina(alumina)

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


(documentation Alumina EnglishLanguage "Alumina is the naturally occurring oxide of aluminum which is found in corundum and bauxite.") Economy.kif 4495-4496
(externalImage Alumina "http://upload.wikimedia.org/wikipedia/commons/7/ 77/ Corundum-unit-cell-3D-balls.png") pictureList.kif 5847-5847
(externalImage Alumina "http://upload.wikimedia.org/wikipedia/en/d/db/2005alumina.PNG") pictureList.kif 6073-6073
(subclass Alumina CompoundSubstance) Economy.kif 4488-4488 Alumina is a subclass of compound substance

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


(industryProductType AluminaRefining Alumina) Economy.kif 1705-1705 Alumina is an industry product type of alumina refining
(names "alumina" Alumina) Economy.kif 4490-4490 Alumina has name "alumina"
(names "aluminum oxide" Alumina) Economy.kif 4489-4489 Alumina has name "aluminum oxide"
(termFormat ChineseLanguage Alumina "矾土") domainEnglishFormat.kif 7021-7021
(termFormat ChineseTraditionalLanguage Alumina "礬土") domainEnglishFormat.kif 7020-7020
(termFormat EnglishLanguage Alumina "alumina") domainEnglishFormat.kif 7019-7019

consequent
-------------------------


(=>
    (instance ?ORE Bauxite)
    (exists (?METAL)
        (and
            (instance ?METAL Alumina)
            (component ?METAL ?ORE))))
Economy.kif 4481-4486


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