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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bauxite
Bauxite(bauxite)
bauxite

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


(documentation Bauxite EnglishLanguage "Bauxite is an impure mixture of earthy hydrous aluminum oxides and hydroxides that is the principal source of aluminum.") Economy.kif 4478-4480
(externalImage Bauxite "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ rocks_minerals/ B_to_Bo/ Bauxite.png") pictureList.kif 265-265
(subclass Bauxite Mixture) Economy.kif 4482-4482 Bauxite is a subclass of mixture

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


(names "bauxite" Bauxite) Economy.kif 4477-4477 Bauxite has name "bauxite"
(termFormat ChineseLanguage Bauxite "矾土") domainEnglishFormat.kif 10239-10239
(termFormat ChineseTraditionalLanguage Bauxite "礬土") domainEnglishFormat.kif 10238-10238
(termFormat EnglishLanguage Bauxite "bauxite") domainEnglishFormat.kif 10237-10237

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


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


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