| Seacoast(seacoast)
| | Aeolia, Aeolis, Atlantic_Coast, Barbary_Coast, Pacific_Coast, coast, sea-coast, seaboard, seacoast, seashore, seaside |
| appearance as argument number 1 |
|
|
| (documentation Seacoast EnglishLanguage "A Seacoast is the ShoreArea along the margin of an ocean, extending inland approximately 1-3 km from the low water mark.") | Geography.kif 6425-6427 | |
| (externalImage Seacoast "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c0/ A44.jpg/ 300px_A44.jpg") | pictureList.kif 1245-1245 | |
| (subclass Seacoast LandForm) | Geography.kif 6423-6423 | Seacoast is a subclass of land form |
| (subclass Seacoast ShoreArea) | Geography.kif 6422-6422 | Seacoast is a subclass of shore area |
| appearance as argument number 2 |
|
|
| (range SeacoastFn Seacoast) | Geography.kif 6416-6416 | The range of seacoast is an instance of seacoast |
| (termFormat ChineseLanguage Seacoast "海岸") | domainEnglishFormat.kif 51655-51655 | The range of seacoast is an instance of seacoast |
| (termFormat ChineseTraditionalLanguage Seacoast "海岸") | domainEnglishFormat.kif 51654-51654 | The range of seacoast is an instance of seacoast |
| (termFormat EnglishLanguage Seacoast "seacoast") | domainEnglishFormat.kif 51653-51653 | The range of seacoast is an instance of seacoast |
| antecedent |
|
|
| (=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 6429-6434 |
|
| consequent |
|
|
| (=> (instance ?AREA LandlockedArea) (not (exists (?COAST) (and (instance ?COAST Seacoast) (part ?COAST ?AREA))))) |
Geography.kif 1069-1075 |
|
| (=> (instance ?CF CoastalFlooding) (exists (?AREA) (and (instance ?AREA Seacoast) (eventLocated ?CF ?AREA)))) |
Weather.kif 2340-2345 |
|
|
|
|