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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Isthmus
Isthmus

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


(documentation Isthmus EnglishLanguage "An Isthmus is a narrow strip of land that connects two larger land masses and is bordered on two sides by water.") Geography.kif 5496-5497
(externalImage Isthmus "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Karelian_Isthmus.png") pictureList.kif 4996-4996
(externalImage Isthmus "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Korinth_Isthmus_de.png") pictureList.kif 4746-4746
(externalImage Isthmus "http://upload.wikimedia.org/wikipedia/commons/f/ f3/ Shoal_Bay.jpg") pictureList.kif 4995-4995
(subclass Isthmus LandArea) Geography.kif 5494-5494

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


(termFormat ChineseLanguage Isthmus "地峡") domainEnglishFormat.kif 31111-31111
(termFormat ChineseTraditionalLanguage Isthmus "地峽") domainEnglishFormat.kif 31110-31110
(termFormat EnglishLanguage Isthmus "isthmus") domainEnglishFormat.kif 31109-31109

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


(=>
    (and
        (instance ?Isthmus Isthmus)
        (side ?Leftside ?Isthmus)
        (side ?Rightside ?Isthmus)
        (not
            (equal ?Leftside ?Rightside)))
    (exists (?Region1 ?Region2 ?Water1 ?Water2)
        (and
            (instance ?Region1 LandArea)
            (instance ?Region2 LandArea)
            (between ?Region1 ?Isthmus ?Region2)
            (instance ?Water1 WaterArea)
            (instance ?Water2 WaterArea)
            (meetsSpatially ?Leftside ?Water1)
            (meetsSpatially ?Rightside ?Water2))))
Geography.kif 5499-5513


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