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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rock
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 17152-17155
(partition Rock Boulder Cobble Pebble) Geography.kif 6787-6787
(subclass Rock Substance) Mid-level-ontology.kif 17151-17151

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


(groundSubsurfaceType Mountain Rock) Geography.kif 3879-3879
(groundSurfaceType Mountain Rock) Geography.kif 3878-3878
(industryProductType StoneMiningAndQuarrying Rock) Economy.kif 1813-1813
(subclass Boulder Rock) Geography.kif 6839-6839
(subclass Coal Rock) Geography.kif 1990-1990
(subclass Cobble Rock) Geography.kif 6816-6816
(subclass Marble Rock) Geography.kif 4264-4264
(subclass Pebble Rock) Geography.kif 6793-6793
(subclass Stone Rock) Geography.kif 4286-4286
(termFormat ChineseLanguage Rock "岩石") domainEnglishFormat.kif 50205-50205
(termFormat ChineseTraditionalLanguage Rock "岩石") domainEnglishFormat.kif 50204-50204
(termFormat EnglishLanguage Rock "rock") domainEnglishFormat.kif 50203-50203

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


(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))
Geography.kif 1795-1799
(=>
    (instance ?Rock Rock)
    (attribute ?Rock Solid))
Mid-level-ontology.kif 17157-17159
(=>
    (instance ?Rock Rock)
    (exists (?Mineral)
        (and
            (instance ?Mineral Mineral)
            (part ?Mineral ?Rock))))
Mid-level-ontology.kif 17161-17166

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


(=>
    (and
        (instance ?RAPIDS Rapids)
        (bottom ?BOTTOM ?RAPIDS))
    (exists (?ROCK)
        (and
            (instance ?ROCK Rock)
            (part ?ROCK ?BOTTOM))))
Geography.kif 5428-5435
(=>
    (instance ?DESERT Desert)
    (or
        (groundSurfaceType ?DESERT Rock)
        (groundSurfaceType ?DESERT Sand)))
Geography.kif 6158-6162
(=>
    (instance ?Reef Reef)
    (exists (?Stuff)
        (and
            (or
                (instance ?Stuff Sand)
                (instance ?Stuff Rock)
                (instance ?Stuff Coral))
            (part ?Stuff ?Reef))))
Geography.kif 5731-5739
(=>
    (instance ?X Stoning)
    (exists (?ST)
        (and
            (instance ?ST Rock)
            (instrument ?X ?ST))))
Mid-level-ontology.kif 21395-21400


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