|
|
   Oasis
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Oasis EnglishLanguage "Oasis is a subclass of LandAreas that are fertile places within a desert, which have water and some vegetation.") | Geography.kif 6944-6945 | |
| (externalImage Oasis "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 27/ Oasis_in_Lybia.JPG/ 250px_Oasis_in_Lybia.JPG") | pictureList.kif 1202-1202 | |
| (subclass Oasis Biome) | Geography.kif 6941-6941 | 绿洲 是 生物群落 的 subclass |
| (subclass Oasis LandArea) | Geography.kif 6942-6942 | 绿洲 是 土地面积 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Oasis "绿洲") | domainEnglishFormat.kif 41514-41514 | |
| (termFormat ChineseTraditionalLanguage Oasis "綠洲") | domainEnglishFormat.kif 41513-41513 | |
| (termFormat EnglishLanguage Oasis "oasis") | domainEnglishFormat.kif 41512-41512 |
| antecedent |
|
|
| (=> (instance ?OASIS Oasis) (attribute ?OASIS FertileTerrain)) |
Geography.kif 6961-6963 | |
| (=> (instance ?OASIS Oasis) (exists (?DESERT) (and (instance ?DESERT Desert) (located ?OASIS ?DESERT)))) |
Geography.kif 6947-6952 | |
| (=> (instance ?OASIS Oasis) (exists (?WATER) (and (instance ?WATER FreshWaterArea) (located ?WATER ?OASIS)))) |
Geography.kif 6954-6959 |
|
|
|
