Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rock
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
-------------------------


s__groundSubsurfaceType(s__Mountain,s__Rock)

Geography.kif 3820-3820 Rock is a ground subsurface type of mountain
s__groundSurfaceType(s__Mountain,s__Rock)

Geography.kif 3819-3819 Rock is a ground surface type of mountain
s__industryProductType(s__StoneMiningAndQuarrying,s__Rock)

Economy.kif 1813-1813 Rock is an industry product type of stone mining and quarrying
s__instance(s__Boulder,s__SetOrClass)

s__subclass(s__Boulder,s__Rock)

s__instance(s__Rock,s__SetOrClass)

Geography.kif 6631-6631 Boulder is a subclass of rock
s__subclass(s__Coal,s__Rock)

s__instance(s__Coal,s__SetOrClass)

s__instance(s__Rock,s__SetOrClass)

Geography.kif 1957-1957 Coal is a subclass of rock
s__instance(s__Cobble,s__SetOrClass)

s__instance(s__Rock,s__SetOrClass)

s__subclass(s__Cobble,s__Rock)

Geography.kif 6608-6608 Cobble is a subclass of rock
s__subclass(s__Marble,s__Rock)

s__instance(s__Rock,s__SetOrClass)

s__instance(s__Marble,s__SetOrClass)

Geography.kif 4192-4192 Marble is a subclass of rock
s__instance(s__Rock,s__SetOrClass)

s__subclass(s__Pebble,s__Rock)

s__instance(s__Pebble,s__SetOrClass)

Geography.kif 6585-6585 Pebble is a subclass of rock
s__instance(s__Stone,s__SetOrClass)

s__subclass(s__Stone,s__Rock)

s__instance(s__Rock,s__SetOrClass)

Geography.kif 4214-4214 Stone is a subclass of rock
s__termFormat(s__EnglishLanguage,s__Rock,'rock')

domainEnglishFormat.kif 8794-8794 "rock" is the printable form of rock in english language

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
-------------------------


( ! [V__BOTTOM,V__Rapids,V__RAPIDS] :
   ((s__instance(V__BOTTOM,s__SelfConnectedObject)s__and__ms__instance(V__Rapids,s__SelfConnectedObject))
    s__=>((s__instance(V__RAPIDS,s__Rapids)s__and__ms__bottom(V__BOTTOM,V__Rapids))
    s__=>(s__exists__m[V__ROCK] :
       (s__instance(V__ROCK,s__Rock)s__and__ms__part(V__ROCK,V__BOTTOM)))))
)

Geography.kif 5307-5314
( ! [V__DESERT] :
   (s__instance(V__DESERT,s__Desert)s__=>(s__groundSurfaceType(V__DESERT,s__Rock)s__or__ms__groundSurfaceType(V__DESERT,s__Sand)))
   )

Geography.kif 5953-5957
( ! [V__Reef] :
   (s__instance(V__Reef,s__Reef)s__=>(s__exists__m[V__Stuff] :
       ((s__instance(V__Stuff,s__Sand)s__or__ms__instance(V__Stuff,s__Rock)s__or__ms__instance(V__Stuff,s__Coral))
        s__and__ms__part(V__Stuff,V__Reef))))
)

Geography.kif 5536-5544
( ! [V__X] :
   (s__instance(V__X,s__Stoning)s__=>(s__exists__m[V__ST] :
       (s__instance(V__ST,s__Rock)s__and__ms__instrument(V__X,V__ST))))
)

Mid-level-ontology.kif 19868-19873


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners