| Rock(rock) | | clast, geode, rock, stone, wall_rock |
| appearance as argument number 1 |
|
|
| s__documentation(s__Rock,s__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 15607-15610 | |
| s__partition__4(s__Rock,s__Boulder,s__Cobble,s__Pebble)
|
Geography.kif 6595-6595 | Rock is exhaustively partitioned into boulder, cobble, and pebble |
| s__subclass(s__Rock,s__Substance) s__instance(s__Rock,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)
|
Mid-level-ontology.kif 15606-15606 | Rock is a subclass of substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ( ! [V__area] : ((s__instance(V__area,s__GeographicArea) & s__groundSurfaceType(V__area,s__Rock)) => ~(s__attribute(V__area,s__FertileTerrain)) ) )
|
Geography.kif 1777-1781 |
|
| ( ! [V__Rock] : (s__instance(V__Rock,s__Rock) => s__attribute(V__Rock,s__Solid) ) )
|
Mid-level-ontology.kif 15612-15614 | |
| ( ! [V__Rock] : (s__instance(V__Rock,s__Rock) => ( ? [V__Mineral] : ((s__instance(V__Mineral,s__Mineral) & s__part(V__Mineral,V__Rock)))) ) )
|
Mid-level-ontology.kif 15616-15621 |
|
| consequent |
|
|
| ( ! [V__BOTTOM,V__RAPIDS] : (s__instance(V__BOTTOM,s__SelfConnectedObject) => (s__instance(V__RAPIDS,s__Rapids) & s__bottom(V__BOTTOM,V__RAPIDS)) => ( ? [V__ROCK] : ((s__instance(V__ROCK,s__Rock) & s__part(V__ROCK,V__BOTTOM)))) ) )
|
Geography.kif 5322-5329 |
|
| ( ! [V__DESERT] : (s__instance(V__DESERT,s__Desert) => (s__groundSurfaceType(V__DESERT,s__Rock) | s__groundSurfaceType(V__DESERT,s__Sand)) ) )
|
Geography.kif 5969-5973 |
|
| ( ! [V__Reef] : (s__instance(V__Reef,s__Reef) => ( ? [V__Stuff] : (((s__instance(V__Stuff,s__Sand) | s__instance(V__Stuff,s__Rock) | s__instance(V__Stuff,s__Coral)) & s__part(V__Stuff,V__Reef)))) ) )
|
Geography.kif 5551-5559 |
|
| ( ! [V__X] : (s__instance(V__X,s__Stoning) => ( ? [V__ST] : ((s__instance(V__ST,s__Rock) & s__instrument(V__X,V__ST)))) ) )
|
Mid-level-ontology.kif 19881-19886 |
|
|
|
|