Seacoast |
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 6122-6124 | |
(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 6120-6120 | |
(subclass Seacoast ShoreArea) | Geography.kif 6119-6119 |
appearance as argument number 2 |
(range SeacoastFn Seacoast) | Geography.kif 6113-6113 | |
(termFormat ChineseLanguage Seacoast "海岸") | domainEnglishFormat.kif 51653-51653 | |
(termFormat ChineseTraditionalLanguage Seacoast "海岸") | domainEnglishFormat.kif 51652-51652 | |
(termFormat EnglishLanguage Seacoast "seacoast") | domainEnglishFormat.kif 51651-51651 |
antecedent |
(=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 6126-6131 |
consequent |
(=> (instance ?AREA LandlockedArea) (not (exists (?COAST) (and (instance ?COAST Seacoast) (part ?COAST ?AREA))))) |
Geography.kif 904-910 | |
(=> (instance ?CF CoastalFlooding) (exists (?AREA) (and (instance ?AREA Seacoast) (eventLocated ?CF ?AREA)))) |
Weather.kif 1599-1604 |