Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1In2En3Ra4In5Re6Re7RaFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass WaterWave LiquidMotion) | Mid-level-ontology.kif 19471-19471 | Water wave is a subclass of liquid motion |
| (documentation WaterWave EnglishLanguage "A WaterWave is a raised ridge of water moving along the surface of a body of water. The WaterWave moves in a direction approximately transverse to the crest line of the wave. The patient of the WaterWave is successive regions of water, which do not travel in the direction of the wave or with it.") | Mid-level-ontology.kif 19472-19476 | Water wave is a subclass of liquid motion |
| (externalImage WaterWave "http://farm2.static.flickr.com/1300/1281908440_86cc9212f6.jpg?v=0") | pictureList.kif 1017-1017 | Water wave is a subclass of liquid motion |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain waveHeight 1 WaterWave) | Weather.kif 2725-2725 | The number 1 argument of wave height is an instance of water wave |
| antecedent |
|
|
| (=> (instance ?WAVE WaterWave) (exists (?AREA) (and (instance ?AREA WaterArea) (eventLocated ?WAVE ?AREA)))) |
Mid-level-ontology.kif 19478-19483 | If X is an instance of water wave, then there exists Y such that Y is an instance of water area and X is located at Y |
| (=> (and (instance ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA ?U ?SWH) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (instance ?U UnitOfLength) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4.0 (StandardDeviationFn ?LIST)))))) |
Weather.kif 2841-2856 | If X is an instance of water wave and The waveHeight of X Y., then there exist Z, W,, , V and U such that Y is a member of Z and W is an instance of water area and X is located at W and V is an instance of unit of length and significantWaveHeight in W during the time of existence of X is U V(s). and equal U and 4.0 and The StandardDeviationFn of Z |
| consequent |
|
|
| (=> (instance ?BREAK BreakingWave) (exists (?WAVE ?WATER1 ?WATER2 ?FALL) (and (instance ?WAVE WaterWave) (subProcess ?BREAK ?WAVE) (instance ?WATER1 BodyOfWater) (instance ?WATER2 BodyOfWater) (patient ?WAVE ?WATER2) (patient ?BREAK ?WATER1) (instance ?FALL Falling) (objectTransferred ?FALL ?WATER1) (holdsDuring (BeginFn (WhenFn ?FALL)) (part ?WATER1 ?WATER2)) (holdsDuring (EndFn (WhenFn ?FALL)) (not (part ?WATER1 ?WATER2)))))) |
Weather.kif 2664-2684 | If X is an instance of breaking wave, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of water wave (3) X is a subprocess of Y (4) Z is an instance of body of water (5) W is an instance of body of water (6) W is a patient of Y (7) Z is a patient of X (8) V is an instance of falling (9) the object transferred in V is Z (10) Z is a part of W holds during the beginning of the time of existence of V (11) Z is not a part of W holds during the end of the time of existence of V |
| (=> (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 |
|
