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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6015-6018
(externalImage Cave "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Hawaiian_lava_tube.jpg") pictureList.kif 852-852
(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 6013-6013 洞穴地理区域subclass
(subclass Cave HoleRegion) Geography.kif 6012-6012 洞穴subclass

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


(termFormat ChineseLanguage Cave "洞穴") domainEnglishFormat.kif 13542-13542
(termFormat ChineseTraditionalLanguage Cave "洞穴") domainEnglishFormat.kif 13541-13541
(termFormat EnglishLanguage Cave "cave") domainEnglishFormat.kif 13540-13540

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


(=>
    (and
        (instance ?land CaveMatrix)
        (instance ?cave Cave)
        (hole ?cave ?land))
    (equal ?land
        (HoleSkinFn ?cave)))
Geography.kif 6060-6065
(=>
    (instance ?Cave Cave)
    (exists (?Erosion)
        (and
            (instance ?Erosion Erosion)
            (result ?Erosion ?Cave))))
Geography.kif 6020-6025
(=>
    (instance ?cave Cave)
    (exists (?land)
        (and
            (instance ?land CaveMatrix)
            (hole ?cave ?land))))
Geography.kif 6053-6058


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