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 17932-17935
(partition Rock Boulder Cobble Pebble) Geography.kif 7257-7257 Rock è esaustivamente partizionato in Boulder, Cobble, + Pebble
(roomTempState Rock Solid) Mid-level-ontology.kif 31443-31443 roomTempState Rock and Solid
(subclass Rock Substance) Mid-level-ontology.kif 17931-17931 Rock è una sottoclasse di Sostanza

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


(groundSubsurfaceType Mountain Rock) Geography.kif 4041-4041 groundSubsurfaceType Mountain and Rock
(groundSurfaceType Mountain Rock) Geography.kif 4040-4040 groundSurfaceType Mountain and Rock
(industryProductType StoneMiningAndQuarrying Rock) Economy.kif 1809-1809 industryProductType StoneMiningAndQuarrying and Rock
(subclass Boulder Rock) Geography.kif 7309-7309 Boulder è una sottoclasse di Rock
(subclass Coal Rock) Geography.kif 2019-2019 Coal è una sottoclasse di Rock
(subclass Cobble Rock) Geography.kif 7286-7286 Cobble è una sottoclasse di Rock
(subclass Marble Rock) Geography.kif 4449-4449 Marble è una sottoclasse di Rock
(subclass Pebble Rock) Geography.kif 7263-7263 Pebble è una sottoclasse di Rock
(subclass Stone Rock) Geography.kif 4471-4471 Stone è una sottoclasse di Rock
(termFormat ChineseLanguage Rock "岩石") domainEnglishFormat.kif 50224-50224
(termFormat ChineseTraditionalLanguage Rock "岩石") domainEnglishFormat.kif 50223-50223
(termFormat EnglishLanguage Rock "rock") domainEnglishFormat.kif 50222-50222

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


(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))
Geography.kif 1824-1828
(=>
    (instance ?Rock Rock)
    (attribute ?Rock Solid))
Mid-level-ontology.kif 17937-17939
(=>
    (instance ?Rock Rock)
    (exists (?Mineral)
        (and
            (instance ?Mineral Mineral)
            (part ?Mineral ?Rock))))
Mid-level-ontology.kif 17941-17946

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


(=>
    (and
        (instance ?RAPIDS Rapids)
        (bottom ?BOTTOM ?RAPIDS))
    (exists (?ROCK)
        (and
            (instance ?ROCK Rock)
            (part ?ROCK ?BOTTOM))))
Geography.kif 5646-5653
(=>
    (instance ?DESERT Desert)
    (or
        (groundSurfaceType ?DESERT Rock)
        (groundSurfaceType ?DESERT Sand)))
Geography.kif 6627-6631
(=>
    (instance ?Reef Reef)
    (exists (?Stuff)
        (and
            (or
                (instance ?Stuff Sand)
                (instance ?Stuff Rock)
                (instance ?Stuff Coral))
            (part ?Stuff ?Reef))))
Geography.kif 5949-5957
(=>
    (instance ?X Stoning)
    (exists (?ST)
        (and
            (instance ?ST Rock)
            (instrument ?X ?ST))))
Mid-level-ontology.kif 22136-22141


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