Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Raining
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid)) |
Weather.kif 1730-1732 | If X is an instance of raining, then liquid is a precipitation state of X |
| (=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN CollectionOfObjects) (instance ?R Water) (instance ?R LiquidDrop) (instance ?R ?CLASS) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 9.0 Millimeter))))) |
Weather.kif 1734-1747 | If X is an instance of raining, then there exist Y, Z and W such that Y is an instance of collection and Z is an instance of water and Z is an instance of liquid drop and Z is an instance of W and Z is a member of Y and the object transferred in X is Y and the minimum expected radius of W is 0.1 millimeter(s) and the maximum expected radius of W is 9.0 millimeter(s) |
| (=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN)))) |
Weather.kif 4234-4239 | If X is an instance of raining, then there exists Y such that Y is an instance of rain and the object transferred in X is Y |
| consequent |
|
|
| (=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL))))) |
Weather.kif 3738-3749 | If X is an instance of drought and X is located at Y, then All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of raining (3) W is an instance of region (4) Z is located at W (5) W (6) Y overlapsSpatially (7) X overlaps Z |
| (=> (rainfallIntensity ?AREA ?TIME ?RATE) (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL) (and (instance ?RAIN Raining) (eventLocated ?RAIN ?AREA) (during (WhenFn ?RAIN) ?TIME) (instance ?CLTN CollectionOfObjects) (objectTransferred ?RAIN ?CLTN) (instance ?R Water) (member ?R ?CLTN) (instance ?BUCKET Container) (bottom ?BOTTOM ?BUCKET) (attribute ?BOTTOM Flat) (located ?BUCKET ?AREA) (holdsDuring (BeginFn ?TIME) (attribute ?BUCKET ContainerEmpty)) (holdsDuring (EndFn ?TIME) (and (located ?CLTN ?BUCKET) (top ?TOP ?CLTN) (depth ?TOP ?BOTTOM ?RAINFALL) (equal ?RAINFALL (MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 4098-4123 | If the rate of rain in X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S,, , R (2) Q such that W is an instance of raining (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of collection (6) the object transferred in W is V (7) U is an instance of water (8) U is a member of V (9) T is an instance of container (10) the bottom of T is R (11) flat is an attribute of R (12) T is located at X (13) container empty is an attribute of T holds during the beginning of Y (14) V is located at T (15) the top of V is S (16) the depth from S to R is Q (17) equal Q (18) Y (19) Z holds during the end of Y |
| (=> (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 |
|
