|
|
   Rock
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Rock EnglishLanguage "Rock is any naturally formed aggregate of one or more minerals, consolidated or not, with some degree of mineralogic and chemical constancy, in popular use the term is usually restricted to those aggregates that are hard, compact, and coherent.") | Mid-level-ontology.kif 15606-15609 | |
| (partition Rock Boulder Cobble Pebble) | Geography.kif 6610-6610 | |
| (subclass Rock Substance) | Mid-level-ontology.kif 15605-15605 |
| appearance as argument number 2 |
|
|
| (groundSubsurfaceType Mountain Rock) | Geography.kif 3820-3820 | |
| (groundSurfaceType Mountain Rock) | Geography.kif 3819-3819 | |
| (industryProductType StoneMiningAndQuarrying Rock) | Economy.kif 1813-1813 | |
| (subclass Boulder Rock) | Geography.kif 6662-6662 | |
| (subclass Coal Rock) | Geography.kif 1957-1957 | |
| (subclass Cobble Rock) | Geography.kif 6639-6639 | |
| (subclass Marble Rock) | Geography.kif 4193-4193 | |
| (subclass Pebble Rock) | Geography.kif 6616-6616 | |
| (subclass Stone Rock) | Geography.kif 4215-4215 | |
| (termFormat EnglishLanguage Rock "rock") | domainEnglishFormat.kif 8794-8794 |
| antecedent |
|
|
| (=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Rock)) (not (attribute ?area FertileTerrain))) |
Geography.kif 1765-1769 | |
| (=> (instance ?Rock Rock) (attribute ?Rock Solid)) |
Mid-level-ontology.kif 15611-15613 | |
| (=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock)))) |
Mid-level-ontology.kif 15615-15620 |
| consequent |
|
|
| (=> (and (instance ?RAPIDS Rapids) (bottom ?BOTTOM ?Rapids)) (exists (?ROCK) (and (instance ?ROCK Rock) (part ?ROCK ?BOTTOM)))) |
Geography.kif 5308-5315 | |
| (=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 5954-5958 | |
| (=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 5537-5545 | |
| (=> (instance ?X Stoning) (exists (?ST) (and (instance ?ST Rock) (instrument ?X ?ST)))) |
Mid-level-ontology.kif 19810-19815 |
|
|
|