Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Haboob(Haboob) |
| appearance as argument number 1 |
|
| (subclass Haboob DustStorm) | Weather.kif 2471-2471 | Haboob is a subclass of dust storm |
| (documentation Haboob EnglishLanguage "Haboobs are intense DustStorms caused by the downburst of a Thunderstorm.") | Weather.kif 2472-2473 | Haboob is a subclass of dust storm |
| (documentation Haboob ChineseLanguage "Haboobs 是由 Thunderstorm 强力下擊暴流造成的 DustStorms 。") | Weather.kif 2474-2475 | Haboob is a subclass of dust storm |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Haboob "Haboob") | Weather.kif 2476-2476 | |
| (termFormat ChineseLanguage Haboob "雷沙暴") | Weather.kif 2477-2477 |
| antecedent |
|
|
| (=> (instance ?HABOOB Haboob) (exists (?TS ?DM ?A) (and (instance ?TS Thunderstorm) (instance ?DM MotionDownward) (instance ?A Air) (patient ?DM ?A) (subProcess ?DM ?TS) (causes ?DM ?HABOOB)))) |
Weather.kif 2479-2488 | If X is an instance of Haboob, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of thunderstorm (3) Z is an instance of motion downward (4) W is an instance of air (5) W is a patient of Z (6) Z is a subprocess of Y (7) Z causes X |
|