Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Cave
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Cave HoleRegion) | Geography.kif 7612-7612 | Cave is a subclass of hole |
| (subclass Cave GeographicArea) | Geography.kif 7613-7613 | Cave is a subclass of geographic area |
| (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 7615-7618 | Cave is a subclass of geographic area |
| (externalImage Cave "http://upload.wikimedia.org/wikipedia/en/thumb/1/16/ Bluespringcavernwater.jpg/ 100px_Bluespringcavernwater.jpg") | pictureList-ImageNet.kif 627-627 | Cave is a subclass of geographic area |
| (externalImage Cave "http://upload.wikimedia.org/wikipedia/en/thumb/1/12/ Painted_cave.jpg/ 300px_Painted_cave.jpg") | pictureList-ImageNet.kif 628-628 | Cave is a subclass of geographic area |
| (externalImage Cave "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ ce/ FLCaverns_Feb2004.jpg/ 93px_FLCaverns_Feb2004.jpg") | pictureList-ImageNet.kif 629-629 | Cave is a subclass of geographic area |
| (externalImage Cave "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Hawaiian_lava_tube.jpg") | pictureList.kif 852-852 | Cave is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Cave Cave) (exists (?Erosion) (and (instance ?Erosion Erosion) (result ?Erosion ?Cave)))) |
Geography.kif 7620-7625 | If X is an instance of cave, then there exists Y such that Y is an instance of erosion and X is a result of Y |
| (=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land)))) |
Geography.kif 7653-7658 | If X is an instance of cave, then there exists Y such that Y is an instance of cave matrix and X is a hole in Y |
| (=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 7660-7665 | If X is an instance of cave matrix, Y is an instance of cave, and Y is a hole in X, then equal X and the surface of the hole Y |
|
