![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Pampa(pampa) | pampas |
| appearance as argument number 1 |
|
|
| (subclass Pampa Grassland) | Geography.kif 8341-8341 | Pampa is a subclass of grassland |
| (subclass Pampa Plain) | Geography.kif 8342-8342 | Pampa is a subclass of plain |
| (documentation Pampa EnglishLanguage "Pampa is a class of vast, level, typically grassy Plains of land in South America.") | Geography.kif 8344-8345 | Pampa is a subclass of plain |
| (externalImage Pampa "http://upload.wikimedia.org/wikipedia/commons/1/18/ CIMG5170.JPG") | pictureList.kif 6750-6750 | Pampa is a subclass of plain |
| (externalImage Pampa "http://upload.wikimedia.org/wikipedia/commons/8/8f/ CIMG5091.JPG") | pictureList.kif 7491-7491 | Pampa is a subclass of plain |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PLAIN Pampa) (located ?PLAIN SouthAmerica)) |
Geography.kif 8347-8349 | If X is an instance of pampa, then X is located at south america |
| (=> (and (instance ?W Pampero) (eventLocated ?W ?A) (instance ?A Pampa)) (or (geographicSubregion ?A Argentina) (geographicSubregion ?A Brazil) (geographicSubregion ?A Bolivia) (geographicSubregion ?A Paraguay) (geographicSubregion ?A Uruguay))) |
Weather.kif 2236-2246 | If X is an instance of pampero, X is located at Y, and Y is an instance of pampa, then At least one of the following holds: (1) Y is a geographic subregion of argentina (2) Y is a geographic subregion of brazil (3) Y is a geographic subregion of bolivia (4) Y is a geographic subregion of paraguay (5) Y is a geographic subregion of uruguay |