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 4628-4630
(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 4632-4632 Bauxite is a subclass of mixture

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


(names "bauxite" Bauxite) Economy.kif 4627-4627 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 4634-4639


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