ShoreArea - Sigma Knowledge base Browser

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 14215-14218
(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 8709-8709
(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 9656-9656
(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 14214-14214	Shore area is a subclass of land area

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 5756-5756	River bank is a subclass of shore area
(subclass Seacoast ShoreArea)	Geography.kif 6119-6119	Seacoast is a subclass of shore area
(termFormat ChineseLanguage ShoreArea "岸区")	domainEnglishFormat.kif 52819-52819	Seacoast is a subclass of shore area
(termFormat ChineseTraditionalLanguage ShoreArea "岸區")	domainEnglishFormat.kif 52818-52818	Seacoast is a subclass of shore area
(termFormat EnglishLanguage ShoreArea "shore area")	domainEnglishFormat.kif 52817-52817	Seacoast is a subclass of shore area

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 6152-6161	If an object is an instance of shore area and another object is an instance of water area and the object is adjacent to the other object, then there exists a third object such that the third object is an instance of shoreline and the third object is a part of the object and the third object meets the other object
(=> (instance ?BANK ShoreArea) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?BANK ?WATER))))	Merge.kif 14220-14225	If an object is an instance of shore area, then there exists another object such that the other object is an instance of water area and the object meets the other object
(=> (instance ?SHORE ShoreArea) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE))))	Geography.kif 6145-6150	If an object is an instance of shore area, then there exists another object such that the other object is an instance of shoreline and the other object is a part of the object

consequent

(=>
    (instance ?plain CoastalPlain)
    (exists (?shore)
        (and
            (instance ?shore ShoreArea)
            (part ?shore ?plain))))

Geography.kif 5749-5754

If an object is an instance of coastal plain,
then there exists another object such that the other object is an instance of shore area and the other object is a part of the object

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: