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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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

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


(industryProductType AluminaRefining Alumina) Economy.kif 1705-1705
(names "alumina" Alumina) Economy.kif 4490-4490
(names "aluminum oxide" Alumina) Economy.kif 4489-4489
(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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners