Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Oasis
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Oasis Biome) | Geography.kif 8301-8301 | Oasis is a subclass of biome |
| (subclass Oasis LandArea) | Geography.kif 8302-8302 | Oasis is a subclass of land area |
| (documentation Oasis EnglishLanguage "Oasis is a subclass of LandAreas that are fertile places within a desert, which have water and some vegetation.") | Geography.kif 8304-8305 | Oasis is a subclass of land area |
| (externalImage Oasis "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 27/ Oasis_in_Lybia.JPG/ 250px_Oasis_in_Lybia.JPG") | pictureList.kif 1202-1202 | Oasis is a subclass of land area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?OASIS Oasis) (exists (?DESERT) (and (instance ?DESERT Desert) (located ?OASIS ?DESERT)))) |
Geography.kif 8307-8312 | If X is an instance of oasis, then there exists Y such that Y is an instance of desert and X is located at Y |
| (=> (instance ?OASIS Oasis) (exists (?WATER) (and (instance ?WATER FreshWaterArea) (located ?WATER ?OASIS)))) |
Geography.kif 8314-8319 | If X is an instance of oasis, then there exists Y such that Y is an instance of fresh water area and Y is located at X |
| (=> (instance ?OASIS Oasis) (attribute ?OASIS FertileTerrain)) |
Geography.kif 8321-8323 | If X is an instance of oasis, then fertile terrain is an attribute of X |
|
