Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AnimalLanguage
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Mesa LandForm) | Geography.kif 5658-5658 | Mesa is a subclass of land form |
| (subclass Mesa UplandArea) | Geography.kif 5659-5659 | Mesa is a subclass of upland area |
| (documentation Mesa EnglishLanguage "A Mesa is a land formation having a relatively flat top and steep rock walls.") | Geography.kif 5660-5661 | Mesa is a subclass of upland area |
| (externalImage Mesa "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ MesaVerdeNationalParkCliffPalace.jpg/ 800px_MesaVerdeNationalParkCliffPalace.jpg") | pictureList-ImageNet.kif 664-664 | Mesa is a subclass of upland area |
| (externalImage Mesa "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ ba/ Gloss_Mountains.jpg/ 180px_Gloss_Mountains.jpg") | pictureList.kif 1178-1178 | Mesa is a subclass of upland area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Mesa Mesa) (top ?Top ?Mesa)) (attribute ?Top FlatTerrain)) |
Geography.kif 5663-5667 | If X is an instance of mesa and the top of X is Y, then flat terrain is an attribute of Y |
| (=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 5669-5673 | If X is an instance of mesa and a side of X is Y, then steep 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 |
|
