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


(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 15634-15637
(partition Rock Boulder Cobble Pebble) Geography.kif 6688-6688 Rock is exhaustively partitioned into boulder, cobble, and pebble
(subclass Rock Substance) Mid-level-ontology.kif 15633-15633 Rock is a subclass of substance

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


(groundSubsurfaceType Mountain Rock) Geography.kif 3833-3833 Rock is a ground subsurface type of mountain
(groundSurfaceType Mountain Rock) Geography.kif 3832-3832 Rock is a ground surface type of mountain
(industryProductType StoneMiningAndQuarrying Rock) Economy.kif 1813-1813 Rock is an industry product type of stone mining and quarrying
(subclass Boulder Rock) Geography.kif 6740-6740 Boulder is a subclass of rock
(subclass Coal Rock) Geography.kif 1969-1969 Coal is a subclass of rock
(subclass Cobble Rock) Geography.kif 6717-6717 Cobble is a subclass of rock
(subclass Marble Rock) Geography.kif 4205-4205 Marble is a subclass of rock
(subclass Pebble Rock) Geography.kif 6694-6694 Pebble is a subclass of rock
(subclass Stone Rock) Geography.kif 4227-4227 Stone is a subclass of rock
(termFormat ChineseLanguage Rock "岩石") domainEnglishFormat.kif 50150-50150
(termFormat ChineseTraditionalLanguage Rock "岩石") domainEnglishFormat.kif 50149-50149
(termFormat EnglishLanguage Rock "rock") domainEnglishFormat.kif 50148-50148

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


(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))
Geography.kif 1777-1781
(=>
    (instance ?Rock Rock)
    (attribute ?Rock Solid))
Mid-level-ontology.kif 15639-15641
(=>
    (instance ?Rock Rock)
    (exists (?Mineral)
        (and
            (instance ?Mineral Mineral)
            (part ?Mineral ?Rock))))
Mid-level-ontology.kif 15643-15648

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


(=>
    (and
        (instance ?RAPIDS Rapids)
        (bottom ?BOTTOM ?RAPIDS))
    (exists (?ROCK)
        (and
            (instance ?ROCK Rock)
            (part ?ROCK ?BOTTOM))))
Geography.kif 5337-5344
(=>
    (instance ?DESERT Desert)
    (or
        (groundSurfaceType ?DESERT Rock)
        (groundSurfaceType ?DESERT Sand)))
Geography.kif 6062-6066
(=>
    (instance ?Reef Reef)
    (exists (?Stuff)
        (and
            (or
                (instance ?Stuff Sand)
                (instance ?Stuff Rock)
                (instance ?Stuff Coral))
            (part ?Stuff ?Reef))))
Geography.kif 5639-5647
(=>
    (instance ?X Stoning)
    (exists (?ST)
        (and
            (instance ?ST Rock)
            (instrument ?X ?ST))))
Mid-level-ontology.kif 19912-19917


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