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

KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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