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

Formal Language: 

KB Term:  Term intersection
English Word: 

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


    (instance ?ORE Bauxite)
    (exists (?METAL)
            (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