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 6890-6891 | |
(externalImage Desert "http://upload.wikimedia.org/wikipedia/commons/a/a5/ Namibian_Desert.jpg") | pictureList.kif 1472-1472 | |
(subclass Desert LandArea) | Geography.kif 6889-6889 | Desert is a subclass of land area |
appearance as argument number 2 |
![]() |
(instance SaharaDesert Desert) | Geography.kif 6907-6907 | Sahara Desert is an instance of desert |
(termFormat ChineseLanguage Desert "沙漠") | domainEnglishFormat.kif 19209-19209 | Sahara Desert is an instance of desert |
(termFormat ChineseTraditionalLanguage Desert "沙漠") | domainEnglishFormat.kif 19208-19208 | Sahara Desert is an instance of desert |
(termFormat EnglishLanguage Desert "desert") | domainEnglishFormat.kif 19207-19207 | Sahara Desert is an instance of desert |
antecedent |
![]() |
(=> (instance ?DESERT Desert) (attribute ?DESERT Dry)) |
Geography.kif 6893-6895 | |
(=> (instance ?DESERT Desert) (not (vegetationType ?DESERT BotanicalTree))) |
Geography.kif 6903-6905 |
|
(=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 6897-6901 |
|
consequent |
![]() |
![]() |
![]() |