Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ShoreArea

 Sigma KEE - ShoreArea
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 14482-14482 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 14483-14486 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
-------------------------


(subclass RiverBank ShoreArea) Geography.kif 7356-7356 River bank is a subclass of shore area
(subclass Seacoast ShoreArea) Geography.kif 7719-7719 Seacoast is a subclass of shore area
(termFormat EnglishLanguage ShoreArea "shore area") domainEnglishFormat.kif 52774-52774 Seacoast is a subclass of shore area
(termFormat ChineseTraditionalLanguage ShoreArea "岸區") domainEnglishFormat.kif 52775-52775 Seacoast is a subclass of shore area
(termFormat ChineseLanguage ShoreArea "岸区") domainEnglishFormat.kif 52776-52776 Seacoast is a subclass of shore area

antecedent
-------------------------


(=>
    (instance ?BANK ShoreArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?BANK ?WATER))))		 Merge.kif 14488-14493 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 7745-7750 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 7752-7761 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 7349-7354 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners