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

appearance as argument number 2

(termFormat ChineseLanguage Isthmus "地峡")	domainEnglishFormat.kif 31241-31241
(termFormat ChineseTraditionalLanguage Isthmus "地峽")	domainEnglishFormat.kif 31240-31240
(termFormat EnglishLanguage Isthmus "isthmus")	domainEnglishFormat.kif 31239-31239

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 5892-5906

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: