| 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 19493-19496 | |
| (partition Rock Boulder Cobble Pebble) | Geography.kif 7327-7327 | |
| (roomTempState Rock Solid) | Mid-level-ontology.kif 33115-33115 | |
| (subclass Rock Substance) | Mid-level-ontology.kif 19492-19492 |
| appearance as argument number 2 |
|
|
| (groundSubsurfaceType Mountain Rock) | Geography.kif 4111-4111 | |
| (groundSurfaceType Mountain Rock) | Geography.kif 4110-4110 | |
| (industryProductType StoneMiningAndQuarrying Rock) | Economy.kif 1934-1934 | |
| (subclass Boulder Rock) | Geography.kif 7379-7379 | |
| (subclass Coal Rock) | Geography.kif 2007-2007 | |
| (subclass Cobble Rock) | Geography.kif 7356-7356 | |
| (subclass Marble Rock) | Geography.kif 4519-4519 | |
| (subclass Pebble Rock) | Geography.kif 7333-7333 | |
| (subclass Stone Rock) | Geography.kif 4541-4541 | |
| (termFormat ChineseLanguage Rock "岩石") | domainEnglishFormat.kif 50255-50255 | |
| (termFormat ChineseTraditionalLanguage Rock "岩石") | domainEnglishFormat.kif 50254-50254 | |
| (termFormat EnglishLanguage Rock "rock") | domainEnglishFormat.kif 50253-50253 |
| antecedent |
|
|
| (=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Rock)) (not (attribute ?area FertileTerrain))) |
Geography.kif 1812-1816 | |
| (=> (instance ?Rock Rock) (attribute ?Rock Solid)) |
Mid-level-ontology.kif 19498-19500 | |
| (=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock)))) |
Mid-level-ontology.kif 19502-19507 |
| consequent |
|
|
| (=> (and (instance ?RAPIDS Rapids) (bottom ?BOTTOM ?RAPIDS)) (exists (?ROCK) (and (instance ?ROCK Rock) (part ?ROCK ?BOTTOM)))) |
Geography.kif 5716-5723 | |
| (=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 6697-6701 | |
| (=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 6019-6027 | |
| (=> (instance ?X Stoning) (exists (?ST) (and (instance ?ST Rock) (instrument ?X ?ST)))) |
Mid-level-ontology.kif 23744-23749 |
|
|
|