| 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 5939-5941 | |
| (externalImage Bauxite "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ B_to_Bo/ Bauxite.png") | pictureList.kif 265-265 | |
| (roomTempState Bauxite Solid) | Mid-level-ontology.kif 33273-33273 | room temperature state bauxite and solid |
| (subclass Bauxite Mixture) | Economy.kif 5943-5943 | Bauxite is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (names "bauxite" Bauxite) | Economy.kif 5938-5938 | Bauxite has name "bauxite" |
| (termFormat ChineseLanguage Bauxite "矾土") | domainEnglishFormat.kif 10237-10237 | Bauxite has name "bauxite" |
| (termFormat ChineseTraditionalLanguage Bauxite "礬土") | domainEnglishFormat.kif 10236-10236 | Bauxite has name "bauxite" |
| (termFormat EnglishLanguage Bauxite "bauxite") | domainEnglishFormat.kif 10235-10235 | Bauxite has name "bauxite" |
| antecedent |
|
|
| (=> (instance ?ORE Bauxite) (exists (?METAL) (and (instance ?METAL Alumina) (component ?METAL ?ORE)))) |
Economy.kif 5945-5950 |
|
|
|
|