Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Estuary
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Estuary BodyOfWater) | Geography.kif 6772-6772 | Estuary is a subclass of body of water |
| (subclass Estuary SaltWaterArea) | Geography.kif 6773-6773 | Estuary is a subclass of salt water area |
| (subclass Estuary Inlet) | Geography.kif 6774-6774 | Estuary is a subclass of inlet |
| (documentation Estuary EnglishLanguage "Estuary is the subclass of BodyOfWater that represents WaterAreas where a sea or ocean Tide meets a River current.") | Geography.kif 6776-6778 | Estuary is a subclass of inlet |
| (externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Estuary_mouth.jpg") | pictureList.kif 895-895 | Estuary is a subclass of inlet |
| (externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Rio_de_la_Plata_BA_2.JPG") | pictureList.kif 2465-2465 | Estuary is a subclass of inlet |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?WATER Estuary) (exists (?SEA) (and (instance ?SEA SaltWaterArea) (part ?SEA WorldOcean) (connected ?SEA ?WATER)))) |
Geography.kif 6780-6786 | If X is an instance of estuary, then there exists Y such that Y is an instance of salt water area, Y is a part of world ocean, and Y is connected to X |
| (=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER)))) |
Geography.kif 6788-6793 | If X is an instance of estuary, then there exists Y such that Y is an instance of river and X is a flows of Y |
| (=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER)))) |
Geography.kif 6795-6800 | If X is an instance of estuary, then there exists Y such that Y is an instance of river mouth, Y, and X overlapsSpatially |
| (=> (instance ?WATER Estuary) (exists (?TIDES) (and (instance ?TIDES TidalProcess) (eventLocated ?TIDES ?WATER)))) |
Geography.kif 6802-6807 | If X is an instance of estuary, then there exists Y such that Y is an instance of tidal process and Y is located at X |
|
