Butte
|
|
appearance as argument number 1 |
(documentation Butte EnglishLanguage "A Butte is an Upland raised sharply from the surrounding region. Smaller in area than a Mesa.") | Geography.kif 4173-4174 | |
(externalImage Butte "http://upload.wikimedia.org/wikipedia/commons/5/50/ Butte_in_Canyonlands.jpeg") | pictureList-ImageNet.kif 625-625 | |
(externalImage Butte "http://upload.wikimedia.org/wikipedia/commons/a/a5/ East_Mitten_Butte_in_Monument_Valley.jpg") | pictureList-ImageNet.kif 624-624 | |
(externalImage Butte "http://upload.wikimedia.org/wikipedia/en/thumb/b/b2/ Fajada_Butte.jpg/ 300px-Fajada_Butte.jpg") | pictureList-ImageNet.kif 626-626 | |
(subclass Butte LandForm) | Geography.kif 4172-4172 | Butte は LandForm の subclass では %n |
(subclass Butte UplandArea) | Geography.kif 4171-4171 | Butte は UplandArea の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage Butte "孤山") | domainEnglishFormat.kif 12505-12505 | |
(termFormat ChineseTraditionalLanguage Butte "孤山") | domainEnglishFormat.kif 12504-12504 | |
(termFormat EnglishLanguage Butte "butte") | domainEnglishFormat.kif 12503-12503 |
antecedent |
(=> (and (instance ?butte Butte) (instance ?mesa Mesa) (linearExtent ?butte (MeasureFn ?size1 ?unit)) (linearExtent ?mesa (MeasureFn ?size2 ?unit))) (greaterThan ?size2 ?size1)) |
Geography.kif 4188-4194 | |
(=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain)) |
Geography.kif 4176-4180 |
|
(=> (and (instance ?butte Butte) (top ?top ?butte)) (attribute ?top FlatTerrain)) |
Geography.kif 4182-4186 |
|