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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shoreline

Sigma KEE - Shoreline
Shoreline

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


(documentation Shoreline EnglishLanguage "Shoreline is the class of LandAreas that are the edge of a larger land mass abutting a bordering WaterArea.") Geography.kif 6135-6136
(externalImage Shoreline "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg") pictureList.kif 6856-6856
(externalImage Shoreline "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG") pictureList.kif 7848-7848
(subclass Shoreline LandArea) Geography.kif 6133-6133

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


(termFormat ChineseLanguage Shoreline "海岸线") domainEnglishFormat.kif 52785-52785
(termFormat ChineseTraditionalLanguage Shoreline "海岸線") domainEnglishFormat.kif 52784-52784
(termFormat EnglishLanguage Shoreline "shoreline") domainEnglishFormat.kif 52783-52783

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


(=>
    (instance ?LINE Shoreline)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?WATER ?LINE))))
Geography.kif 6138-6143

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


(=>
    (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
(=>
    (and
        (instance ?TC TropicalCyclone)
        (destination ?TC ?DEST)
        (instance ?DEST GeographicArea))
    (not
        (exists (?L ?SL ?X)
            (and
                (instance ?L LandArea)
                (instance ?SL Shoreline)
                (located ?DEST ?L)
                (distance ?L ?SL
                    (MeasureFn ?X Mile))
                (greaterThan ?X 200.0)))))
Weather.kif 693-706
(=>
    (instance ?SHORE ShoreArea)
    (exists (?LINE)
        (and
            (instance ?LINE Shoreline)
            (part ?LINE ?SHORE))))
Geography.kif 6145-6150
(=>
    (instance ?SURF SurfZone)
    (exists (?SL)
        (and
            (instance ?SL Shoreline)
            (orientation ?SURF ?SL Adjacent))))
Weather.kif 1379-1384


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