| Shoreline
| |
| appearance as argument number 1 |
|
|
| (documentation Shoreline EnglishLanguage "Shoreline is the class of LandAreas that are the edge of a larger land mass abutting a bordering WaterArea.") | Geography.kif 6042-6043 | |
| (externalImage Shoreline "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg") | pictureList.kif 6856-6856 | |
| (externalImage Shoreline "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG") | pictureList.kif 7848-7848 | |
| (subclass Shoreline LandArea) | Geography.kif 6040-6040 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shoreline "海岸线") | domainEnglishFormat.kif 52797-52797 | |
| (termFormat ChineseTraditionalLanguage Shoreline "海岸線") | domainEnglishFormat.kif 52796-52796 | |
| (termFormat EnglishLanguage Shoreline "shoreline") | domainEnglishFormat.kif 52795-52795 |
| antecedent |
|
|
| (=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE)))) |
Geography.kif 6045-6050 |
| consequent |
|
|
| (=> (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 6059-6068 | |
| (=> (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 693-706 | |
| (=> (instance ?SHORE ShoreArea) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE)))) |
Geography.kif 6052-6057 | |
| (=> (instance ?SURF SurfZone) (exists (?SL) (and (instance ?SL Shoreline) (orientation ?SURF ?SL Adjacent)))) |
Weather.kif 1379-1384 |
|
|
|