appearance as argument number 1 |
![]() |
(documentation Desert EnglishLanguage "Desert is a subclass of LandAreas that are arid regions having sparse or no vegetation.") | Geography.kif 6688-6689 | |
(externalImage Desert "http://upload.wikimedia.org/wikipedia/commons/a/a5/ Namibian_Desert.jpg") | pictureList.kif 1472-1472 | |
(subclass Desert LandArea) | Geography.kif 6687-6687 | Desert is a subclass of land area |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Desert "沙漠") | domainEnglishFormat.kif 19215-19215 | |
(termFormat ChineseTraditionalLanguage Desert "沙漠") | domainEnglishFormat.kif 19214-19214 | |
(termFormat EnglishLanguage Desert "desert") | domainEnglishFormat.kif 19213-19213 |
antecedent |
![]() |
(=> (instance ?DESERT Desert) (attribute ?DESERT Dry)) |
Geography.kif 6691-6693 | |
(=> (instance ?DESERT Desert) (not (vegetationType ?DESERT BotanicalTree))) |
Geography.kif 6701-6703 |
|
(=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 6695-6699 |
|
consequent |
![]() |
![]() |
![]() |