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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Seacoast
Seacoast(seacoast)
Aeolia, Aeolis, Atlantic_Coast, Barbary_Coast, Pacific_Coast, coast, sea-coast, seaboard, seacoast, seashore, seaside

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


(documentation Seacoast EnglishLanguage "A Seacoast is the ShoreArea along the margin of an ocean, extending inland approximately 1-3 km from the low water mark.") Geography.kif 6425-6427
(externalImage Seacoast "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c0/ A44.jpg/ 300px_A44.jpg") pictureList.kif 1245-1245
(subclass Seacoast LandForm) Geography.kif 6423-6423 Seacoast is a subclass of land form
(subclass Seacoast ShoreArea) Geography.kif 6422-6422 Seacoast is a subclass of shore area

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


(range SeacoastFn Seacoast) Geography.kif 6416-6416 The range of seacoast is an instance of seacoast
(termFormat ChineseLanguage Seacoast "海岸") domainEnglishFormat.kif 51655-51655 The range of seacoast is an instance of seacoast
(termFormat ChineseTraditionalLanguage Seacoast "海岸") domainEnglishFormat.kif 51654-51654 The range of seacoast is an instance of seacoast
(termFormat EnglishLanguage Seacoast "seacoast") domainEnglishFormat.kif 51653-51653 The range of seacoast is an instance of seacoast

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


(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))
Geography.kif 6429-6434

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


(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?COAST)
            (and
                (instance ?COAST Seacoast)
                (part ?COAST ?AREA)))))
Geography.kif 1069-1075
(=>
    (instance ?CF CoastalFlooding)
    (exists (?AREA)
        (and
            (instance ?AREA Seacoast)
            (eventLocated ?CF ?AREA))))
Weather.kif 2340-2345


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