Shoreline(shoreline)![]() | ![]() | 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 6268-6269 | |
(externalImage Shoreline "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg") | pictureList.kif 6855-6855 | |
(externalImage Shoreline "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG") | pictureList.kif 7847-7847 | |
(subclass Shoreline LandArea) | Geography.kif 6266-6266 | Shoreline is a subclass of land area |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Shoreline "海岸线") | domainEnglishFormat.kif 52789-52789 | |
(termFormat ChineseTraditionalLanguage Shoreline "海岸線") | domainEnglishFormat.kif 52788-52788 | |
(termFormat EnglishLanguage Shoreline "shoreline") | domainEnglishFormat.kif 52787-52787 |
antecedent |
![]() |
(=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE)))) |
Geography.kif 6271-6276 |
|
consequent |
![]() |
![]() |
![]() |