|
|
   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 5597-5600 | |
| (externalImage Cave "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Hawaiian_lava_tube.jpg") | pictureList.kif 853-853 | externalImage Cave and "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Hawaiian_lava_tube.jpg" |
| (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 and "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ ce/ FLCaverns-Feb2004.jpg/ 93px-FLCaverns-Feb2004.jpg" |
| (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 and "http://upload.wikimedia.org/wikipedia/en/thumb/1/12/ Painted_cave.jpg/ 300px-Painted_cave.jpg" |
| (externalImage Cave "http://upload.wikimedia.org/wikipedia/en/thumb/1/16/ Bluespringcavernwater.jpg/ 100px-Bluespringcavernwater.jpg") | pictureList-ImageNet.kif 628-628 | externalImage Cave and "http://upload.wikimedia.org/wikipedia/en/thumb/1/16/ Bluespringcavernwater.jpg/ 100px-Bluespringcavernwater.jpg" |
| (subclass Cave GeographicArea) | Geography.kif 5595-5595 | Cave 是 地理区域 的 subclass |
| (subclass Cave Hole) | Geography.kif 5594-5594 | Cave 是 洞 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Burrow Cave) | Geography.kif 5609-5609 | Burrow 是 Cave 的 subclass |
| (termFormat EnglishLanguage Cave "cave") | domainEnglishFormat.kif 2680-2680 | termFormat EnglishLanguage, Cave and "cave" |
| antecedent |
|
|
| (=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 5641-5646 | |
| (=> (instance ?Cave Cave) (exists (?Erosion) (and (instance ?Erosion Erosion) (result ?Erosion ?Cave)))) |
Geography.kif 5602-5607 | |
| (=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land)))) |
Geography.kif 5634-5639 |
|
|
|
