| 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 5890-5891 | |
| (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 5888-5888 |
| 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 5893-5907 |
|
|
|