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 31601-31601 | roomTempState Bauxite and Solid |
(subclass Bauxite Mixture) | Economy.kif 5601-5601 | Bauxite è una sottoclasse di Mistura |
appearance as argument number 2 |
(names "bauxite" Bauxite) | Economy.kif 5596-5596 | names "bauxite" and Bauxite |
(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 |
|