Isthmus - Sigma Knowledge base Browser

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 5820-5821
(externalImage Isthmus "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Karelian_Isthmus.png")	pictureList.kif 4995-4995
(externalImage Isthmus "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Korinth_Isthmus_de.png")	pictureList.kif 4745-4745
(externalImage Isthmus "http://upload.wikimedia.org/wikipedia/commons/f/ f3/ Shoal_Bay.jpg")	pictureList.kif 4994-4994
(subclass Isthmus LandArea)	Geography.kif 5818-5818	Isthmus is a subclass of land area

appearance as argument number 2

(termFormat ChineseLanguage Isthmus "地峡")	domainEnglishFormat.kif 31247-31247
(termFormat ChineseTraditionalLanguage Isthmus "地峽")	domainEnglishFormat.kif 31246-31246
(termFormat EnglishLanguage Isthmus "isthmus")	domainEnglishFormat.kif 31245-31245

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 5823-5837

If a self connected object is an instance of isthmus and a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and the other self connected object is not equal to the third self connected object,
then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of land area and the other object is an instance of land area and the self connected object is between the object and the other object and the third object is an instance of water area and the fourth object is an instance of water area and the other self connected object meets the third object and the third self connected object meets the fourth object

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

KB Term:			Term intersection

English Word: