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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rock

Sigma KEE - Rock
Rockclast, geode, rock, stone, wall_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 15606-15609
(partition Rock Boulder Cobble Pebble) Geography.kif 6610-6610
(subclass Rock Substance) Mid-level-ontology.kif 15605-15605

appearance as argument number 2
-------------------------


(groundSubsurfaceType Mountain Rock) Geography.kif 3820-3820
(groundSurfaceType Mountain Rock) Geography.kif 3819-3819
(industryProductType StoneMiningAndQuarrying Rock) Economy.kif 1813-1813
(subclass Boulder Rock) Geography.kif 6662-6662
(subclass Coal Rock) Geography.kif 1957-1957
(subclass Cobble Rock) Geography.kif 6639-6639
(subclass Marble Rock) Geography.kif 4193-4193
(subclass Pebble Rock) Geography.kif 6616-6616
(subclass Stone Rock) Geography.kif 4215-4215
(termFormat EnglishLanguage Rock "rock") domainEnglishFormat.kif 8794-8794

antecedent
-------------------------


(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))
Geography.kif 1765-1769
(=>
    (instance ?Rock Rock)
    (attribute ?Rock Solid))
Mid-level-ontology.kif 15611-15613
(=>
    (instance ?Rock Rock)
    (exists (?Mineral)
        (and
            (instance ?Mineral Mineral)
            (part ?Mineral ?Rock))))
Mid-level-ontology.kif 15615-15620

consequent
-------------------------


(=>
    (and
        (instance ?RAPIDS Rapids)
        (bottom ?BOTTOM ?Rapids))
    (exists (?ROCK)
        (and
            (instance ?ROCK Rock)
            (part ?ROCK ?BOTTOM))))
Geography.kif 5308-5315
(=>
    (instance ?DESERT Desert)
    (or
        (groundSurfaceType ?DESERT Rock)
        (groundSurfaceType ?DESERT Sand)))
Geography.kif 5954-5958
(=>
    (instance ?Reef Reef)
    (exists (?Stuff)
        (and
            (or
                (instance ?Stuff Sand)
                (instance ?Stuff Rock)
                (instance ?Stuff Coral))
            (part ?Stuff ?Reef))))
Geography.kif 5537-5545
(=>
    (instance ?X Stoning)
    (exists (?ST)
        (and
            (instance ?ST Rock)
            (instrument ?X ?ST))))
Mid-level-ontology.kif 19810-19815


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

Show without tree


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