| Shoreline(shoreline)
| | shoreline |
| appearance as argument number 1 |
|
|
| (subclass Shoreline LandArea) | Geography.kif 7754-7754 | Shoreline is a subclass of land area |
| (documentation Shoreline EnglishLanguage "Shoreline is the class of LandAreas that are the edge of a larger land mass abutting a bordering WaterArea.") | Geography.kif 7756-7757 | Shoreline is a subclass of land area |
| (externalImage Shoreline "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg") | pictureList.kif 6855-6855 | Shoreline is a subclass of land area |
| (externalImage Shoreline "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG") | pictureList.kif 7847-7847 | Shoreline is a subclass of land area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE)))) |
Geography.kif 7759-7764 | If X is an instance of shoreline, then there exists Y such that Y is an instance of water area and Y meets X |
| consequent |
|
|
| (=> (instance ?SHORE ShoreArea) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE)))) |
Geography.kif 7766-7771 | If X is an instance of shore area, then there exists Y such that Y is an instance of shoreline and Y is a part of X |
| (=> (and (instance ?SHORE ShoreArea) (instance ?WATER WaterArea) (orientation ?SHORE ?WATER Adjacent)) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE) (meetsSpatially ?LINE ?WATER)))) |
Geography.kif 7773-7782 | If X is an instance of shore area, Y is an instance of water area, and X is adjacent to Y, then there exists Z such that Z is an instance of shoreline, Z is a part of X, and Z meets Y |
| (=> (and (instance ?TC TropicalCyclone) (destination ?TC ?DEST) (instance ?DEST GeographicArea)) (not (exists (?L ?SL ?X) (and (instance ?L LandArea) (instance ?SL Shoreline) (located ?DEST ?L) (distance ?L ?SL (MeasureFn ?X Mile)) (greaterThan ?X 200.0))))) |
Weather.kif 1134-1147 | If X is an instance of tropical cyclone, X ends up at Y, and Y is an instance of geographic area, then there don't exist Z, W and V such that Z is an instance of land area and W is an instance of shoreline and Y is located at Z and the distance between Z and W is V mile(s) and V is greater than 200.0 |
| (=> (instance ?SURF SurfZone) (exists (?SL) (and (instance ?SL Shoreline) (orientation ?SURF ?SL Adjacent)))) |
Weather.kif 2705-2710 | If X is an instance of surf zone, then there exists Y such that Y is an instance of shoreline and X is adjacent to Y |
|
|
|