|
|
   Mesa
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Mesa EnglishLanguage "A Mesa is a land formation having a relatively flat top and steep rock walls.") | Geography.kif 4156-4157 | |
| (externalImage Mesa "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ MesaVerdeNationalParkCliffPalace.jpg/ 800px-MesaVerdeNationalParkCliffPalace.jpg") | pictureList-ImageNet.kif 664-664 | |
| (externalImage Mesa "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ ba/ Gloss_Mountains.jpg/ 180px-Gloss_Mountains.jpg") | pictureList.kif 1178-1178 | |
| (subclass Mesa LandForm) | Geography.kif 4154-4154 | 子類 檯面 and 土地形式 |
| (subclass Mesa UplandArea) | Geography.kif 4155-4155 | 子類 檯面 and 高地地區 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mesa "台面") | domainEnglishFormat.kif 37205-37205 | |
| (termFormat ChineseTraditionalLanguage Mesa "檯面") | domainEnglishFormat.kif 37204-37204 | |
| (termFormat EnglishLanguage Mesa "mesa") | domainEnglishFormat.kif 37203-37203 |
| antecedent |
|
|
| (=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 4165-4169 | |
| (=> (and (instance ?Mesa Mesa) (top ?Top ?Mesa)) (attribute ?Top FlatTerrain)) |
Geography.kif 4159-4163 | |
| (=> (and (instance ?butte Butte) (instance ?mesa Mesa) (linearExtent ?butte (MeasureFn ?size1 ?unit)) (linearExtent ?mesa (MeasureFn ?size2 ?unit))) (greaterThan ?size2 ?size1)) |
Geography.kif 4188-4194 |
|
|
|
|
