Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 5948-5950 | |
| (subclass Bauxite Mixture) | Economy.kif 5952-5952 | Bauxite is a subclass of mixture |
| (roomTempState Bauxite Solid) | Economy.kif 5953-5953 | room temperature state bauxite and solid |
| (subclass Bauxite MiningArtifact) | Society.kif 1391-1391 | Bauxite is a subclass of MiningArtifact |
| (externalImage Bauxite "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ B_to_Bo/ Bauxite.png") | pictureList.kif 265-265 | Bauxite is a subclass of MiningArtifact |
| appearance as argument number 2 |
|
|
| (names "bauxite" Bauxite) | Economy.kif 5947-5947 | Bauxite has name "bauxite" |
| (termFormat EnglishLanguage Bauxite "bauxite") | domainEnglishFormat.kif 10228-10228 | Bauxite has name "bauxite" |
| (termFormat ChineseTraditionalLanguage Bauxite "礬土") | domainEnglishFormat.kif 10229-10229 | Bauxite has name "bauxite" |
| (termFormat ChineseLanguage Bauxite "矾土") | domainEnglishFormat.kif 10230-10230 | Bauxite has name "bauxite" |
| antecedent |
|
|
| (=> (instance ?ORE Bauxite) (exists (?METAL) (and (instance ?METAL Alumina) (component ?METAL ?ORE)))) |
Economy.kif 5955-5960 | If X is an instance of bauxite, then there exists Y such that Y is an instance of alumina and Y is a component of X |
|