more pictures...
| ShoreArea
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation ShoreArea ChineseLanguage "ShoreArea 一处是大约有1-3公里宽、与水域，如：海洋、 港湾、河流或湖泊接壤的 LandArea。ShoreArea 有可能包括和种各样的 LandForm，如沙丘、泥沼和沼泽。") | chinese_format.kif 3339-3340 | |
| (documentation ShoreArea EnglishLanguage "A ShoreArea is a LandArea approximately 1-3 km wide bordering a body of water, such as an ocean, bay, river, or lake. A ShoreArea may comprise a variety of LandForms, such as dunes, sloughs, and marshes.") | Merge.kif 14307-14310 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Lake_Superior_North_Shore.jpg") | pictureList-ImageNet.kif 712-712 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg") | pictureList.kif 8708-8708 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Puerto_Rico_north_shore.jpg") | pictureList-ImageNet.kif 714-714 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Alupka_Coast.JPG") | pictureList-ImageNet.kif 709-709 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Bray_from_Bray_Head.jpg") | pictureList-ImageNet.kif 707-707 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 19/ Haven_Den_Oever.jpg/ 300px_Haven_Den_Oever.jpg") | pictureList-ImageNet.kif 746-746 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4e/ Höga_Kusten,_Gulf_Rödviken_near_Ullånger,_Sweden.jpg/ 400px_Höga_Kusten,_Gulf_Rödviken_near_Ullånger,_Sweden.jpg") | pictureList-ImageNet.kif 716-716 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4e/ Kust_van_Kefalonia.JPG/ 270px_Kust_van_Kefalonia.JPG") | pictureList-ImageNet.kif 715-715 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 5a/ Playa_de_Usgo_en_Miengo.jpg/ 400px_Playa_de_Usgo_en_Miengo.jpg") | pictureList-ImageNet.kif 710-710 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 68/ Poertschach_Salonschiff_Thalia_Strandbad_Maria_Woerth_09092006_02.jpg/ 120px_Poertschach_Salonschiff_Thalia_Strandbad_Maria_Woerth_09092006_02.jpg") | pictureList-ImageNet.kif 623-623 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 94/ Cantieri_Riva_Trigoso.jpg/ 200px_Cantieri_Riva_Trigoso.jpg") | pictureList-ImageNet.kif 718-718 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ a2/ Harbor_in_Puerto_Banus,_Costa_del_Sol,_Spain,_Dec_2004_3.jpg/ 350px_Harbor_in_Puerto_Banus,_Costa_del_Sol,_Spain,_Dec_2004_3.jpg") | pictureList-ImageNet.kif 713-713 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ab/ Playa_barayo.jpg/ 250px_Playa_barayo.jpg") | pictureList-ImageNet.kif 708-708 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b7/ StraitOfMagellanNorthernShore.jpg/ 800px_StraitOfMagellanNorthernShore.jpg") | pictureList-ImageNet.kif 717-717 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d5/ Oever_petsjora_rivier_achtergrond_Narjan_Mar.jpg/ 250px_Oever_petsjora_rivier_achtergrond_Narjan_Mar.jpg") | pictureList-ImageNet.kif 747-747 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ ea/ Playa_de_Toro.JPG/ 800px_Playa_de_Toro.JPG") | pictureList-ImageNet.kif 711-711 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG") | pictureList.kif 9655-9655 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/en/f/f3/ Rothesay.JPG") | pictureList-ImageNet.kif 705-705 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/en/thumb/ d/ db/ Steile_oever.jpg/ 285px_Steile_oever.jpg") | pictureList-ImageNet.kif 745-745 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/it/1/14/ Porto_VM.jpg") | pictureList-ImageNet.kif 706-706 | |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/it/thumb/ 2/ 22/ Costa_Brava1.jpg/ 400px_Costa_Brava1.jpg") | pictureList-ImageNet.kif 719-719 | |
| (subclass ShoreArea LandArea) | Merge.kif 14306-14306 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 2 |
|
|
| (subclass RiverBank ShoreArea) | Geography.kif 5826-5826 | |
| (subclass Seacoast ShoreArea) | Geography.kif 6189-6189 | |
| (termFormat ChineseLanguage ShoreArea "岸区") | domainEnglishFormat.kif 52812-52812 | |
| (termFormat ChineseTraditionalLanguage ShoreArea "岸區") | domainEnglishFormat.kif 52811-52811 | |
| (termFormat EnglishLanguage ShoreArea "shore area") | domainEnglishFormat.kif 52810-52810 |
| antecedent |
|
|
| (=> (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 6222-6231 | |
| (=> (instance ?BANK ShoreArea) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?BANK ?WATER)))) |
Merge.kif 14312-14317 | |
| (=> (instance ?SHORE ShoreArea) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE)))) |
Geography.kif 6215-6220 |
| consequent |
|
|
| (=> (instance ?plain CoastalPlain) (exists (?shore) (and (instance ?shore ShoreArea) (part ?shore ?plain)))) |
Geography.kif 5819-5824 |
|
|
|