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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Seacoast

Sigma KEE - Seacoast
Seacoast(海岸)

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 6122-6124
(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 6120-6120 海岸土地形式subclass
(subclass Seacoast ShoreArea) Geography.kif 6119-6119 海岸岸区subclass

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


(range SeacoastFn Seacoast) Geography.kif 6113-6113 海岸range海岸 的实例
(termFormat ChineseLanguage Seacoast "海岸") domainEnglishFormat.kif 51651-51651
(termFormat ChineseTraditionalLanguage Seacoast "海岸") domainEnglishFormat.kif 51650-51650
(termFormat EnglishLanguage Seacoast "seacoast") domainEnglishFormat.kif 51649-51649

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


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

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


(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?COAST)
            (and
                (instance ?COAST Seacoast)
                (part ?COAST ?AREA)))))
Geography.kif 904-910
(=>
    (instance ?CF CoastalFlooding)
    (exists (?AREA)
        (and
            (instance ?AREA Seacoast)
            (eventLocated ?CF ?AREA))))
Weather.kif 1616-1621


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