Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Plateau(plateau)
|  | Cambrian_Mountains, Colorado_Plateau, Llano_Estacado, Massif_Central, plateau, tableland |
| appearance as argument number 1 |
|
|
| (subclass Plateau LandForm) | Geography.kif 5639-5639 | Plateau is a subclass of land form |
| (subclass Plateau UplandArea) | Geography.kif 5640-5640 | Plateau is a subclass of upland area |
| (documentation Plateau EnglishLanguage "A Plateau is a flat upland area with one steep face, elevated plain.") | Geography.kif 5641-5642 | Plateau is a subclass of upland area |
| (externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ be/ Novegno,_l'acrocoro_con_le_malghe.jpg/ 180px_Novegno,_l'acrocoro_con_le_malghe.jpg") | pictureList-ImageNet.kif 730-730 | Plateau is a subclass of upland area |
| (externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ Romanceor_Altiplano_1.jpg") | pictureList-ImageNet.kif 731-731 | Plateau is a subclass of upland area |
| (externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/5/ 57/ Dieng_Plateau_view_from_complex_of_Candi_Arjuna.JPG") | pictureList-ImageNet.kif 732-732 | Plateau is a subclass of upland area |
| (externalImage Plateau "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2a/ Mt_Roraima_in_Venezuela_001.JPG/ 275px_Mt_Roraima_in_Venezuela_001.JPG") | pictureList.kif 1215-1215 | Plateau is a subclass of upland area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Plateau Plateau) (top ?Top ?Plateau)) (attribute ?Top FlatTerrain)) |
Geography.kif 5644-5648 | If X is an instance of plateau and the top of X is Y, then flat terrain is an attribute of Y |
| (=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau)))) |
Geography.kif 5650-5656 | If X is an instance of plateau, then there exists Y such that Y is an instance of sloped area, steep terrain is an attribute of Y, Y, and X overlapsSpatially |
|