| Basin(basin)
| | basin, cirque, corrie, cwm, depression, natural_depression, saltpan, tidal_basin |
| appearance as argument number 1 |
|
|
| (documentation Basin EnglishLanguage "A Basin is an area of land enclosed or partially enclosed by higher land.") | Geography.kif 4314-4315 | |
| (externalImage Basin "http://upload.wikimedia.org/wikipedia/commons/3/37/ Sudbury_Wanapitei_WorldWind.jpg") | pictureList.kif 3046-3046 | |
| (externalImage Basin "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Ohiorivermap.png") | pictureList.kif 2939-2939 | |
| (externalImage Basin "http://upload.wikimedia.org/wikipedia/commons/b/bd/ Mississippi_River_basin.jpg") | pictureList.kif 3045-3045 | |
| (subclass Basin LandForm) | Geography.kif 4313-4313 | Basin is a subclass of land form |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Basin "盆地") | domainEnglishFormat.kif 10123-10123 | |
| (termFormat ChineseTraditionalLanguage Basin "盆地") | domainEnglishFormat.kif 10122-10122 | |
| (termFormat EnglishLanguage Basin "basin") | domainEnglishFormat.kif 10121-10121 |
| antecedent |
|
|
| (=> (and (instance ?basin Basin) (instance ?area LandArea) (instance ?U UnitOfLength) (earthAltitude ?basin (MeasureFn ?height1 ?U)) (earthAltitude ?area (MeasureFn ?height2 ?U)) (orientation ?basin ?area Adjacent)) (greaterThan ?height2 ?height1)) |
Geography.kif 4317-4327 |
|
|
|
|