Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Butte(butte)
|  | butte |
| appearance as argument number 1 |
|
|
| (subclass Butte UplandArea) | Geography.kif 5675-5675 | Butte is a subclass of upland area |
| (subclass Butte LandForm) | Geography.kif 5676-5676 | Butte is a subclass of land form |
| (documentation Butte EnglishLanguage "A Butte is an Upland raised sharply from the surrounding region. Smaller in area than a Mesa.") | Geography.kif 5677-5678 | Butte is a subclass of land form |
| (externalImage Butte "http://upload.wikimedia.org/wikipedia/commons/a/a5/ East_Mitten_Butte_in_Monument_Valley.jpg") | pictureList-ImageNet.kif 624-624 | Butte is a subclass of land form |
| (externalImage Butte "http://upload.wikimedia.org/wikipedia/commons/5/50/ Butte_in_Canyonlands.jpeg") | pictureList-ImageNet.kif 625-625 | Butte is a subclass of land form |
| (externalImage Butte "http://upload.wikimedia.org/wikipedia/en/thumb/b/b2/ Fajada_Butte.jpg/ 300px_Fajada_Butte.jpg") | pictureList-ImageNet.kif 626-626 | Butte is a subclass of land form |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain)) |
Geography.kif 5680-5684 | If X is an instance of butte and a side of X is Y, then steep terrain is an attribute of Y |
| (=> (and (instance ?butte Butte) (top ?top ?butte)) (attribute ?top FlatTerrain)) |
Geography.kif 5686-5690 | If X is an instance of butte and the top of X is Y, then flat terrain is an attribute of Y |
| (=> (and (instance ?butte Butte) (instance ?mesa Mesa) (linearExtent ?butte (MeasureFn ?size1 ?unit)) (linearExtent ?mesa (MeasureFn ?size2 ?unit))) (greaterThan ?size2 ?size1)) |
Geography.kif 5692-5698 | If X is an instance of butte, Y is an instance of mesa, the linear extent of X is Z W(s), and the linear extent of Y is V W(s), then V is greater than Z |
|