| 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 6318-6321 | |
| (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 6316-6316 | Cave is a subclass of geographic area |
| (subclass Cave HoleRegion) | Geography.kif 6315-6315 | Cave is a subclass of hole |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Cave "洞穴") | domainEnglishFormat.kif 13551-13551 | |
| (termFormat ChineseTraditionalLanguage Cave "洞穴") | domainEnglishFormat.kif 13550-13550 | |
| (termFormat EnglishLanguage Cave "cave") | domainEnglishFormat.kif 13549-13549 |
| antecedent |
|
|
| (=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 6363-6368 |
|
| (=> (instance ?Cave Cave) (exists (?Erosion) (and (instance ?Erosion Erosion) (result ?Erosion ?Cave)))) |
Geography.kif 6323-6328 |
|
| (=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land)))) |
Geography.kif 6356-6361 |
|
|
|
|