| 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 3994-3995 | |
| (externalImage Mesa "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ MesaVerdeNationalParkCliffPalace.jpg/ 800px-MesaVerdeNationalParkCliffPalace.jpg") | pictureList-ImageNet.kif 665-665 | |
| (externalImage Mesa "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ ba/ Gloss_Mountains.jpg/ 180px-Gloss_Mountains.jpg") | pictureList.kif 1179-1179 | |
| (subclass Mesa LandForm) | Geography.kif 3992-3992 | |
| (subclass Mesa UplandArea) | Geography.kif 3993-3993 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mesa "台面") | domainEnglishFormat.kif 37194-37194 | |
| (termFormat ChineseTraditionalLanguage Mesa "檯面") | domainEnglishFormat.kif 37193-37193 | |
| (termFormat EnglishLanguage Mesa "mesa") | domainEnglishFormat.kif 37192-37192 |
| antecedent |
|
|
| (=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 4003-4007 | |
| (=> (and (instance ?Mesa Mesa) (top ?Top ?Mesa)) (attribute ?Top FlatTerrain)) |
Geography.kif 3997-4001 | |
| (=> (and (instance ?butte Butte) (instance ?mesa Mesa) (linearExtent ?butte (MeasureFn ?size1 ?unit)) (linearExtent ?mesa (MeasureFn ?size2 ?unit))) (greaterThan ?size2 ?size1)) |
Geography.kif 4026-4032 |
|
|
|