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 6640-6641 | |
(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 6637-6637 | Oasis è una sottoclasse di Biome |
(subclass Oasis LandArea) | Geography.kif 6638-6638 | Oasis è una sottoclasse di SuperficieTerrestre |
appearance as argument number 2 |
(termFormat ChineseLanguage Oasis "绿洲") | domainEnglishFormat.kif 41508-41508 | |
(termFormat ChineseTraditionalLanguage Oasis "綠洲") | domainEnglishFormat.kif 41507-41507 | |
(termFormat EnglishLanguage Oasis "oasis") | domainEnglishFormat.kif 41506-41506 |
antecedent |
(=> (instance ?OASIS Oasis) (attribute ?OASIS FertileTerrain)) |
Geography.kif 6657-6659 | |
(=> (instance ?OASIS Oasis) (exists (?DESERT) (and (instance ?DESERT Desert) (located ?OASIS ?DESERT)))) |
Geography.kif 6643-6648 |
|
(=> (instance ?OASIS Oasis) (exists (?WATER) (and (instance ?WATER FreshWaterArea) (located ?WATER ?OASIS)))) |
Geography.kif 6650-6655 |
|