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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 5732-5733
(externalImage Shoreline "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg") pictureList.kif 6857-6857
(externalImage Shoreline "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG") pictureList.kif 7850-7850
(subclass Shoreline LandArea) Geography.kif 5730-5730

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


(termFormat ChineseLanguage Shoreline "海岸线") domainEnglishFormat.kif 52723-52723
(termFormat ChineseTraditionalLanguage Shoreline "海岸線") domainEnglishFormat.kif 52722-52722
(termFormat EnglishLanguage Shoreline "shoreline") domainEnglishFormat.kif 52721-52721

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


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

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 5749-5758
(=>
    (instance ?SHORE ShoreArea)
    (exists (?LINE)
        (and
            (instance ?LINE Shoreline)
            (part ?LINE ?SHORE))))
Geography.kif 5742-5747


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners