| 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 5731-5732 | |
| (externalImage Shoreline "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg") | pictureList.kif 6857-6857 | |
| (externalImage Shoreline "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG") | pictureList.kif 7850-7850 | |
| (subclass Shoreline LandArea) | Geography.kif 5729-5729 | subclass Shoreline and LandArea |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shoreline "海岸线") | domainEnglishFormat.kif 52682-52682 | |
| (termFormat ChineseTraditionalLanguage Shoreline "海岸線") | domainEnglishFormat.kif 52681-52681 | |
| (termFormat EnglishLanguage Shoreline "shoreline") | domainEnglishFormat.kif 52680-52680 |
| antecedent |
|
|
| (=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE)))) |
Geography.kif 5734-5739 |
| 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 5748-5757 | |
| (=> (instance ?SHORE ShoreArea) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE)))) |
Geography.kif 5741-5746 |
|
|
|