Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Bleeding
|
|
|
| appearance as argument number 1 |
|
|
| (documentation HeavySurf EnglishLanguage "HeavySurf is when the significantWaveHeight of the WaterWaves over a SurfZone is greater than 13 FootLength or 4 Meter.") | Weather.kif 2858-2859 | |
| (documentation HeavySurf ChineseLanguage "HeavySurf 是当碎波带 (SurfZone) 出现海浪 (WaterWave)有效波高 (significantWaveHeight) 高于 13 FootLength 或 4 Meter 的情况。") | Weather.kif 2860-2862 | |
| (subclass HeavySurf WeatherProcess) | Weather.kif 2863-2863 | Heavy zone is a subclass of weather process |
| (subclass HeavySurf WaterMotion) | Weather.kif 2864-2864 | Heavy zone is a subclass of water motion |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?HS HeavySurf) (exists (?SZ ?SWH) (and (instance ?SZ SurfZone) (eventLocated ?HS ?SZ) (significantWaveHeight ?SZ (WhenFn ?HS) (MeasureFn ?SWH FootLength)) (greaterThanOrEqualTo ?SWH 13.0)))) |
Weather.kif 2866-2875 | If X is an instance of heavy zone, then there exist Y and Z such that Y is an instance of surf zone and X is located at Y and significantWaveHeight in Y during the time of existence of X is Z foot length(s). and Z is greater than or equal to 13.0 |
| (=> (instance ?HS HeavySurf) (holdsDuring (WhenFn ?HS) (exists (?SZ ?WW) (and (instance ?SZ SurfZone) (instance ?WW WaterWave) (subProcess ?WW ?HS) (eventLocated ?WW ?SZ))))) |
Weather.kif 2877-2886 | If X is an instance of heavy zone, then there exist Y, Z such that Y is an instance of surf zone, Z is an instance of water wave, Z is a subprocess of X, and Z is located at Y holds during the time of existence of X |
| (=> (and (instance ?HS HeavySurf) (instance ?PLACE WaterArea) (eventLocated ?HS ?PLACE)) (exists (?SWIM ?A) (and (instance ?SWIM Swimming) (instance ?A Human) (agent ?SWIM ?A) (eventLocated ?SWIM ?PLACE) (holdsDuring (WhenFn ?HS) (hazardous ?HS ?A))))) |
Weather.kif 2888-2901 | If X is an instance of heavy zone, Y is an instance of water area, and X is located at Y, then there exist Z, W such that Z is an instance of swimming, W is an instance of human, W is an agent of Z, Z is located at Y, and X is hazardous to W holds during the time of existence of X |
|