Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   RainShowering
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RainShowering EnglishLanguage "A RainShowering is a short period of Raining.") | Weather.kif 4126-4127 | |
| (documentation RainShowering ChineseLanguage "RainShowering 是短时间的 Raining.") | Weather.kif 4128-4128 | |
| (subclass RainShowering Raining) | Weather.kif 4131-4131 | Rain showering is a subclass of raining |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RainShowering "rain showering") | Weather.kif 4129-4129 | |
| (termFormat ChineseLanguage RainShowering "骤雨") | Weather.kif 4130-4130 |
| antecedent |
|
|
| (=> (instance ?SHOWER RainShowering) (holdsDuring (WhenFn ?SHOWER) (exists (?RAIN1 ?RAIN2 ?AREA) (and (instance ?RAIN1 Raining) (instance ?RAIN2 Raining) (instance ?AREA Region) (subProcess ?RAIN1 ?SHOWER) (subProcess ?RAIN2 ?SHOWER) (eventLocated ?RAIN1 ?AREA) (eventLocated ?RAIN2 ?AREA) (not (overlapsTemporally (WhenFn ?RAIN1) (WhenFn ?RAIN2))))))) |
Weather.kif 4133-4147 | If X is an instance of rain showering, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of raining (3) Z is an instance of raining (4) W is an instance of region (5) Y is a subprocess of X (6) Z is a subprocess of X (7) Y is located at W (8) Z is located at W (9) the time of existence of Z doesn't overlap the time of existence of Y holds during the time of existence of X |
|