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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cave
Cave(cave)
Fingal's_Cave, Lascaux, cave, cavern, grot, grotto

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 5612-5615
(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 630-630
(externalImage Cave "http://upload.wikimedia.org/wikipedia/en/thumb/1/12/ Painted_cave.jpg/ 300px-Painted_cave.jpg") pictureList-ImageNet.kif 629-629
(externalImage Cave "http://upload.wikimedia.org/wikipedia/en/thumb/1/16/ Bluespringcavernwater.jpg/ 100px-Bluespringcavernwater.jpg") pictureList-ImageNet.kif 628-628
(subclass Cave GeographicArea) Geography.kif 5610-5610 Cave is a subclass of geographic area
(subclass Cave Hole) Geography.kif 5609-5609 Cave is a subclass of hole

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


(subclass Burrow Cave) Geography.kif 5624-5624 Burrow is a subclass of cave
(termFormat ChineseLanguage Cave "洞穴") domainEnglishFormat.kif 13477-13477
(termFormat ChineseTraditionalLanguage Cave "洞穴") domainEnglishFormat.kif 13476-13476
(termFormat EnglishLanguage Cave "cave") domainEnglishFormat.kif 13475-13475

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


(=>
    (and
        (instance ?land CaveMatrix)
        (instance ?cave Cave)
        (hole ?cave ?land))
    (equal ?land
        (HoleSkinFn ?cave)))
Geography.kif 5656-5661
(=>
    (instance ?Cave Cave)
    (exists (?Erosion)
        (and
            (instance ?Erosion Erosion)
            (result ?Erosion ?Cave))))
Geography.kif 5617-5622
(=>
    (instance ?cave Cave)
    (exists (?land)
        (and
            (instance ?land CaveMatrix)
            (hole ?cave ?land))))
Geography.kif 5649-5654


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners