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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rock

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 17905-17908
(partition Rock Boulder Cobble Pebble) Geography.kif 7257-7257 岩石 详尽无遗地 partition巨石, 大卵石, 和 卵石
(roomTempState Rock Solid) Mid-level-ontology.kif 31411-31411 roomTempState 岩石 and 固体
(subclass Rock Substance) Mid-level-ontology.kif 17904-17904 岩石物质subclass

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


(groundSubsurfaceType Mountain Rock) Geography.kif 4041-4041 岩石 表面下的 ground
(groundSurfaceType Mountain Rock) Geography.kif 4040-4040 岩石ground 表面类别
(industryProductType StoneMiningAndQuarrying Rock) Economy.kif 1809-1809 岩石采石和采石industry 产品类别
(subclass Boulder Rock) Geography.kif 7309-7309 巨石岩石subclass
(subclass Coal Rock) Geography.kif 2019-2019 岩石subclass
(subclass Cobble Rock) Geography.kif 7286-7286 大卵石岩石subclass
(subclass Marble Rock) Geography.kif 4449-4449 大理石岩石subclass
(subclass Pebble Rock) Geography.kif 7263-7263 卵石岩石subclass
(subclass Stone Rock) Geography.kif 4471-4471 岩石subclass
(termFormat ChineseLanguage Rock "岩石") domainEnglishFormat.kif 50222-50222
(termFormat ChineseTraditionalLanguage Rock "岩石") domainEnglishFormat.kif 50221-50221
(termFormat EnglishLanguage Rock "rock") domainEnglishFormat.kif 50220-50220

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 17910-17912
(=>
    (instance ?Rock Rock)
    (exists (?Mineral)
        (and
            (instance ?Mineral Mineral)
            (part ?Mineral ?Rock))))
Mid-level-ontology.kif 17914-17919

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


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