more pictures...
| ShoreArea(shore area)
more pictures... | | Gulf_Coast, beach, foreshore, landfall, neritic_zone, oceanfront, plage, shore, strand, tideland, waterside |
| appearance as argument number 1 |
|
|
| (subclass ShoreArea LandArea) | Merge.kif 14343-14343 | Shore area is a subclass of land area |
| (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 14344-14347 | Shore area is a subclass of land area |
| (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 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/en/f/f3/ Rothesay.JPG") | pictureList-ImageNet.kif 705-705 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/it/1/14/ Porto_VM.jpg") | pictureList-ImageNet.kif 706-706 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Bray_from_Bray_Head.jpg") | pictureList-ImageNet.kif 707-707 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ab/ Playa_barayo.jpg/ 250px_Playa_barayo.jpg") | pictureList-ImageNet.kif 708-708 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Alupka_Coast.JPG") | pictureList-ImageNet.kif 709-709 | Shore area is a subclass of land area |
| (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 | Shore area is a subclass of land area |
| (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 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Lake_Superior_North_Shore.jpg") | pictureList-ImageNet.kif 712-712 | Shore area is a subclass of land area |
| (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 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Puerto_Rico_north_shore.jpg") | pictureList-ImageNet.kif 714-714 | Shore area is a subclass of land area |
| (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 | Shore area is a subclass of land area |
| (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 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b7/ StraitOfMagellanNorthernShore.jpg/ 800px_StraitOfMagellanNorthernShore.jpg") | pictureList-ImageNet.kif 717-717 | Shore area is a subclass of land area |
| (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 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/it/thumb/ 2/ 22/ Costa_Brava1.jpg/ 400px_Costa_Brava1.jpg") | pictureList-ImageNet.kif 719-719 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/en/thumb/ d/ db/ Steile_oever.jpg/ 285px_Steile_oever.jpg") | pictureList-ImageNet.kif 745-745 | Shore area is a subclass of land area |
| (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 | Shore area is a subclass of land area |
| (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 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg") | pictureList.kif 8708-8708 | Shore area is a subclass of land area |
| (externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG") | pictureList.kif 9655-9655 | Shore area is a subclass of land area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BANK ShoreArea) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?BANK ?WATER)))) |
Merge.kif 14349-14354 | If X is an instance of shore area, then there exists Y such that Y is an instance of water area and X meets Y |
| (=> (instance ?SHORE ShoreArea) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE)))) |
Geography.kif 7766-7771 | If X is an instance of shore area, then there exists Y such that Y is an instance of shoreline and Y is a part of X |
| (=> (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 7773-7782 | If X is an instance of shore area, Y is an instance of water area, and X is adjacent to Y, then there exists Z such that Z is an instance of shoreline, Z is a part of X, and Z meets Y |
| consequent |
|
|
| (=> (instance ?plain CoastalPlain) (exists (?shore) (and (instance ?shore ShoreArea) (part ?shore ?plain)))) |
Geography.kif 7370-7375 | If X is an instance of coastal plain, then there exists Y such that Y is an instance of shore area and Y is a part of X |
|
|
|