Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShoreArea
ShoreArea
more pictures...

appearance as argument number 1
-------------------------


(documentation ShoreArea ChineseLanguage "ShoreArea 一处是大约有1-3公里宽、与水域,如:海洋、 港湾、河流或湖泊接壤的 LandAreaShoreArea 有可能包括和种各样的 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 13030-13033
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Lake_Superior_North_Shore.jpg") pictureList-ImageNet.kif 713-713
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg") pictureList.kif 8714-8714
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Puerto_Rico_north_shore.jpg") pictureList-ImageNet.kif 715-715
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Alupka_Coast.JPG") pictureList-ImageNet.kif 710-710
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Bray_from_Bray_Head.jpg") pictureList-ImageNet.kif 708-708
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 19/ Haven_Den_Oever.jpg/ 300px-Haven_Den_Oever.jpg") pictureList-ImageNet.kif 747-747
(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 717-717
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4e/ Kust_van_Kefalonia.JPG/ 270px-Kust_van_Kefalonia.JPG") pictureList-ImageNet.kif 716-716
(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 711-711
(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 624-624
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 94/ Cantieri_Riva_Trigoso.jpg/ 200px-Cantieri_Riva_Trigoso.jpg") pictureList-ImageNet.kif 719-719
(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 714-714
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ab/ Playa_barayo.jpg/ 250px-Playa_barayo.jpg") pictureList-ImageNet.kif 709-709
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b7/ StraitOfMagellanNorthernShore.jpg/ 800px-StraitOfMagellanNorthernShore.jpg") pictureList-ImageNet.kif 718-718
(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 748-748
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ ea/ Playa-de-Toro.JPG/ 800px-Playa-de-Toro.JPG") pictureList-ImageNet.kif 712-712
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG") pictureList.kif 9674-9674
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/en/f/f3/ Rothesay.JPG") pictureList-ImageNet.kif 706-706
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/en/thumb/ d/ db/ Steile_oever.jpg/ 285px-Steile_oever.jpg") pictureList-ImageNet.kif 746-746
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/it/1/14/ Porto_VM.jpg") pictureList-ImageNet.kif 707-707
(externalImage ShoreArea "http://upload.wikimedia.org/wikipedia/it/thumb/ 2/ 22/ Costa_Brava1.jpg/ 400px-Costa_Brava1.jpg") pictureList-ImageNet.kif 720-720
(subclass ShoreArea LandArea) Merge.kif 13029-13029

appearance as argument number 2
-------------------------


(subclass RiverBank ShoreArea) Geography.kif 5433-5433
(subclass Seacoast ShoreArea) Geography.kif 5716-5716
(termFormat ChineseLanguage ShoreArea "岸区") domainEnglishFormat.kif 52717-52717
(termFormat ChineseTraditionalLanguage ShoreArea "岸區") domainEnglishFormat.kif 52716-52716
(termFormat EnglishLanguage ShoreArea "shore area") domainEnglishFormat.kif 52715-52715

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 5749-5758
(=>
    (instance ?BANK ShoreArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?BANK ?WATER))))
Merge.kif 13035-13040
(=>
    (instance ?SHORE ShoreArea)
    (exists (?LINE)
        (and
            (instance ?LINE Shoreline)
            (part ?LINE ?SHORE))))
Geography.kif 5742-5747

consequent
-------------------------


(=>
    (instance ?plain CoastalPlain)
    (exists (?shore)
        (and
            (instance ?shore ShoreArea)
            (part ?shore ?plain))))
Geography.kif 5426-5431


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners