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 6438-6439 | |
(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 6436-6436 | Shoreline は 土地面積 の subclass では |
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 6441-6446 |
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 6455-6464 | |
(=> (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 677-690 | |
(=> (instance ?SHORE ShoreArea) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE)))) |
Geography.kif 6448-6453 | |
(=> (instance ?SURF SurfZone) (exists (?SL) (and (instance ?SL Shoreline) (orientation ?SURF ?SL Adjacent)))) |
Weather.kif 2210-2215 |
![]() |
![]() |