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 4363-4364 | |
(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 4361-4361 | |
(subclass Mesa UplandArea) | Geography.kif 4362-4362 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Mesa "台面") | domainEnglishFormat.kif 37214-37214 | |
(termFormat ChineseTraditionalLanguage Mesa "檯面") | domainEnglishFormat.kif 37213-37213 | |
(termFormat EnglishLanguage Mesa "mesa") | domainEnglishFormat.kif 37212-37212 |
antecedent |
![]() |
(=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 4372-4376 | |
(=> (and (instance ?Mesa Mesa) (top ?Top ?Mesa)) (attribute ?Top FlatTerrain)) |
Geography.kif 4366-4370 | |
(=> (and (instance ?butte Butte) (instance ?mesa Mesa) (linearExtent ?butte (MeasureFn ?size1 ?unit)) (linearExtent ?mesa (MeasureFn ?size2 ?unit))) (greaterThan ?size2 ?size1)) |
Geography.kif 4395-4401 |
![]() |
![]() |