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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 5597-5599
(externalImage Bauxite "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ B_to_Bo/ Bauxite.png") pictureList.kif 265-265
(roomTempState Bauxite Solid) Mid-level-ontology.kif 31569-31569
(subclass Bauxite Mixture) Economy.kif 5601-5601

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


(names "bauxite" Bauxite) Economy.kif 5596-5596
(termFormat ChineseLanguage Bauxite "矾土") domainEnglishFormat.kif 10230-10230
(termFormat ChineseTraditionalLanguage Bauxite "礬土") domainEnglishFormat.kif 10229-10229
(termFormat EnglishLanguage Bauxite "bauxite") domainEnglishFormat.kif 10228-10228

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


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


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