Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Desert LandArea) | Geography.kif 8249-8249 | Desert is a subclass of land area |
| (documentation Desert EnglishLanguage "Desert is a subclass of LandAreas that are arid regions having sparse or no vegetation.") | Geography.kif 8250-8251 | Desert is a subclass of land area |
| (externalImage Desert "http://upload.wikimedia.org/wikipedia/commons/a/a5/ Namibian_Desert.jpg") | pictureList.kif 1472-1472 | Desert is a subclass of land area |
| appearance as argument number 2 |
|
|
| (instance MojaveDesert Desert) | Geography.kif 499-499 | Mojave Desert is an instance of desert |
| (instance SaharaDesert Desert) | Geography.kif 8267-8267 | Sahara Desert is an instance of desert |
| (termFormat EnglishLanguage Desert "desert") | domainEnglishFormat.kif 19200-19200 | Sahara Desert is an instance of desert |
| (termFormat ChineseTraditionalLanguage Desert "沙漠") | domainEnglishFormat.kif 19201-19201 | Sahara Desert is an instance of desert |
| (termFormat ChineseLanguage Desert "沙漠") | domainEnglishFormat.kif 19202-19202 | Sahara Desert is an instance of desert |
| antecedent |
|
|
| (=> (instance ?DESERT Desert) (attribute ?DESERT Dry)) |
Geography.kif 8253-8255 | If X is an instance of desert, then dry is an attribute of X |
| (=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 8257-8261 | If X is an instance of desert, then rock is a ground surface type of X or sand is a ground surface type of X |
| (=> (instance ?DESERT Desert) (not (vegetationType ?DESERT BotanicalTree))) |
Geography.kif 8263-8265 | If X is an instance of desert, then botanical tree is found in X |
| consequent |
|
|
| (=> (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 ?W SantaAnaWinds) (exists (?H ?D ?A) (and (instance ?H HighPressureWeatherSystem) (eventLocated ?H GreatBasin) (causes ?H ?W) (path ?W ?D) (instance ?D Desert) (destination ?W ?A) (instance ?A SouthernCalifornia)))) |
Weather.kif 2627-2637 | If X is an instance of Santa Ana winds, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of high pressure weather system (3) Y is located at Great Basin (4) Y causes X (5) Z is path along which X occurs (6) Z is an instance of desert (7) X ends up at W (8) W is an instance of Southern California |
| (=> (and (instance ?DESERTIFICATION Desertification) (eventLocated ?DESERTIFICATION ?AREA)) (exists (?A1 ?A2) (and (instance ?A1 ArableLand) (instance ?A2 Desert) (holdsDuring (BeginFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A1)) (holdsDuring (EndFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A2))))) |
Weather.kif 3759-3772 | If X is an instance of desertification and X is located at Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of arable land (3) W is an instance of desert (4) Y (5) Z overlapsSpatially holds during the beginning of the time of existence of X (6) Y (7) W overlapsSpatially holds during the end of the time of existence of X |
|
