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 14322-14325
(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 8708-8708
(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 9655-9655
(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 14321-14321	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 6026-6026	River bank is a subclass of shore area
(subclass Seacoast ShoreArea)	Geography.kif 6389-6389	Seacoast is a subclass of shore area
(termFormat ChineseLanguage ShoreArea "岸区")	domainEnglishFormat.kif 52783-52783	Seacoast is a subclass of shore area
(termFormat ChineseTraditionalLanguage ShoreArea "岸區")	domainEnglishFormat.kif 52782-52782	Seacoast is a subclass of shore area
(termFormat EnglishLanguage ShoreArea "shore area")	domainEnglishFormat.kif 52781-52781	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 6422-6431	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 14327-14332	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 6415-6420	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 6019-6024

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: