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