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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cave

Sigma KEE - Cave
Cave

appearance as argument number 1
-------------------------


(documentation Cave EnglishLanguage "A Cave is a naturally formed opening beneath the surface of the Earth, generally formed by dissolution of carbonate bedrock. Caves may also form by erosion of coastal bedrock, partial melting of glaciers, or solidification of lava into hollow tubes.") Geography.kif 5912-5915
(externalImage Cave "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Hawaiian_lava_tube.jpg") pictureList.kif 853-853
(externalImage Cave "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ ce/ FLCaverns-Feb2004.jpg/ 93px-FLCaverns-Feb2004.jpg") pictureList-ImageNet.kif 629-629
(externalImage Cave "http://upload.wikimedia.org/wikipedia/en/thumb/1/12/ Painted_cave.jpg/ 300px-Painted_cave.jpg") pictureList-ImageNet.kif 628-628
(externalImage Cave "http://upload.wikimedia.org/wikipedia/en/thumb/1/16/ Bluespringcavernwater.jpg/ 100px-Bluespringcavernwater.jpg") pictureList-ImageNet.kif 627-627
(subclass Cave GeographicArea) Geography.kif 5910-5910
(subclass Cave Hole) Geography.kif 5909-5909

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


(termFormat ChineseLanguage Cave "洞穴") domainEnglishFormat.kif 13545-13545
(termFormat ChineseTraditionalLanguage Cave "洞穴") domainEnglishFormat.kif 13544-13544
(termFormat EnglishLanguage Cave "cave") domainEnglishFormat.kif 13543-13543

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


(=>
    (and
        (instance ?land CaveMatrix)
        (instance ?cave Cave)
        (hole ?cave ?land))
    (equal ?land
        (HoleSkinFn ?cave)))
Geography.kif 5957-5962
(=>
    (instance ?Cave Cave)
    (exists (?Erosion)
        (and
            (instance ?Erosion Erosion)
            (result ?Erosion ?Cave))))
Geography.kif 5917-5922
(=>
    (instance ?cave Cave)
    (exists (?land)
        (and
            (instance ?land CaveMatrix)
            (hole ?cave ?land))))
Geography.kif 5950-5955


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