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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Rock

Sigma KEE - Rock
Rock(rock)clast, 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 19476-19479
(partition Rock Boulder Cobble Pebble) Geography.kif 7732-7732 Rock is exhaustively partitioned into boulder, cobble, and pebble
(roomTempState Rock Solid) Mid-level-ontology.kif 33356-33356 room temperature state rock and solid
(subclass Rock Substance) Mid-level-ontology.kif 19475-19475 Rock is a subclass of substance

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


(groundSubsurfaceType Mountain Rock) Geography.kif 4419-4419 Rock is a ground subsurface type of mountain
(groundSurfaceType Mountain Rock) Geography.kif 4418-4418 Rock is a ground surface type of mountain
(industryProductType StoneMiningAndQuarrying Rock) Economy.kif 1934-1934 Rock is an industry product type of stone mining and quarrying
(subclass Boulder Rock) Geography.kif 7784-7784 Boulder is a subclass of rock
(subclass Coal Rock) Geography.kif 2315-2315 Coal is a subclass of rock
(subclass Cobble Rock) Geography.kif 7761-7761 Cobble is a subclass of rock
(subclass Marble Rock) Geography.kif 4827-4827 Marble is a subclass of rock
(subclass Pebble Rock) Geography.kif 7738-7738 Pebble is a subclass of rock
(subclass Stone Rock) Geography.kif 4849-4849 Stone is a subclass of rock
(termFormat ChineseLanguage Rock "岩石") domainEnglishFormat.kif 50226-50226 Stone is a subclass of rock
(termFormat ChineseTraditionalLanguage Rock "岩石") domainEnglishFormat.kif 50225-50225 Stone is a subclass of rock
(termFormat EnglishLanguage Rock "rock") domainEnglishFormat.kif 50224-50224 Stone is a subclass of rock

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


(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))
Geography.kif 2120-2124
(=>
    (instance ?Rock Rock)
    (attribute ?Rock Solid))
Mid-level-ontology.kif 19481-19483
(=>
    (instance ?Rock Rock)
    (exists (?Mineral)
        (and
            (instance ?Mineral Mineral)
            (part ?Mineral ?Rock))))
Mid-level-ontology.kif 19485-19490

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


(=>
    (and
        (instance ?RAPIDS Rapids)
        (bottom ?BOTTOM ?RAPIDS))
    (exists (?ROCK)
        (and
            (instance ?ROCK Rock)
            (part ?ROCK ?BOTTOM))))
Geography.kif 6087-6094
(=>
    (instance ?DESERT Desert)
    (or
        (groundSurfaceType ?DESERT Rock)
        (groundSurfaceType ?DESERT Sand)))
Geography.kif 7068-7072
(=>
    (instance ?Reef Reef)
    (exists (?Stuff)
        (and
            (or
                (instance ?Stuff Sand)
                (instance ?Stuff Rock)
                (instance ?Stuff Coral))
            (part ?Stuff ?Reef))))
Geography.kif 6390-6398
(=>
    (instance ?X Stoning)
    (exists (?ST)
        (and
            (instance ?ST Rock)
            (instrument ?X ?ST))))
Mid-level-ontology.kif 23727-23732


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 3.0 is open source software produced by Articulate Software and its partners