| Isthmus(isthmus)
| | Isthmus_of_Corinth, Isthmus_of_Darien, Isthmus_of_Kra, Isthmus_of_Panama, Isthmus_of_Suez, Isthmus_of_Tehuantepec, Karelian_Isthmus, isthmus |
| appearance as argument number 1 |
|
|
| (subclass Isthmus LandArea) | Geography.kif 7439-7439 | Isthmus is a subclass of land area |
| (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 7441-7442 | Isthmus is a subclass of land area |
| (externalImage Isthmus "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Korinth_Isthmus_de.png") | pictureList.kif 4744-4744 | Isthmus is a subclass of land area |
| (externalImage Isthmus "http://upload.wikimedia.org/wikipedia/commons/f/ f3/ Shoal_Bay.jpg") | pictureList.kif 4993-4993 | Isthmus is a subclass of land area |
| (externalImage Isthmus "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Karelian_Isthmus.png") | pictureList.kif 4994-4994 | Isthmus is a subclass of land area |
| appearance as argument number 2 |
|
|
| 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 7444-7458 | If X is an instance of isthmus, a side of X is Y, a side of X is Z, and equal Y and Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of land area (3) V is an instance of land area (4) X is between W (5) V (6) U is an instance of water area (7) T is an instance of water area (8) Y meets U (9) Z meets T |
|
|
|