| 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 17932-17935 | |
| (partition Rock Boulder Cobble Pebble) | Geography.kif 7257-7257 | Rock è esaustivamente partizionato in Boulder, Cobble, + Pebble |
| (roomTempState Rock Solid) | Mid-level-ontology.kif 31443-31443 | roomTempState Rock and Solid |
| (subclass Rock Substance) | Mid-level-ontology.kif 17931-17931 | Rock è una sottoclasse di Sostanza |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Rock)) (not (attribute ?area FertileTerrain))) |
Geography.kif 1824-1828 | |
| (=> (instance ?Rock Rock) (attribute ?Rock Solid)) |
Mid-level-ontology.kif 17937-17939 | |
| (=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock)))) |
Mid-level-ontology.kif 17941-17946 |
| consequent |
|
|
| (=> (and (instance ?RAPIDS Rapids) (bottom ?BOTTOM ?RAPIDS)) (exists (?ROCK) (and (instance ?ROCK Rock) (part ?ROCK ?BOTTOM)))) |
Geography.kif 5646-5653 |
|
| (=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 6627-6631 | |
| (=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 5949-5957 | |
| (=> (instance ?X Stoning) (exists (?ST) (and (instance ?ST Rock) (instrument ?X ?ST)))) |
Mid-level-ontology.kif 22136-22141 |
|
|
|