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


s__groundSubsurfaceType(s__Mountain,s__Rock)

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

Geography.kif 3832-3832 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 6647-6647 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 1969-1969 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 6624-6624 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 4205-4205 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 6601-6601 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 4227-4227 Stone is a subclass of rock
s__termFormat(s__ChineseLanguage,s__Rock,'"岩石"')

domainEnglishFormat.kif 50120-50120
s__termFormat(s__ChineseTraditionalLanguage,s__Rock,'"岩石"')

domainEnglishFormat.kif 50119-50119
s__termFormat(s__EnglishLanguage,s__Rock,'"rock"')

domainEnglishFormat.kif 50118-50118

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


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