| 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 15606-15609 | |
| s__partition__4(s__Rock,s__Boulder,s__Cobble,s__Pebble)
|
Geography.kif 6579-6579 | 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 15605-15605 | Rock is a subclass of substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ( ! [V__area] : ((s__instance(V__area,s__GeographicArea)s__and__ms__groundSurfaceType(V__area,s__Rock)) s__=>(s__not__ms__attribute(V__area,s__FertileTerrain))) )
|
Geography.kif 1765-1769 |
|
| ( ! [V__Rock] : (s__instance(V__Rock,s__Rock)s__=>s__attribute(V__Rock,s__Solid)) )
|
Mid-level-ontology.kif 15611-15613 | |
| ( ! [V__Rock] : (s__instance(V__Rock,s__Rock)s__=>(s__exists__m[V__Mineral] : (s__instance(V__Mineral,s__Mineral)s__and__ms__part(V__Mineral,V__Rock)))) )
|
Mid-level-ontology.kif 15615-15620 |
|
| consequent |
|
|
|
|
|