| WaterWave(水波)
| |
| appearance as argument number 1 |
|
|
| (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 17579-17583 | |
| (externalImage WaterWave "http://farm2.static.flickr.com/1300/1281908440_86cc9212f6.jpg?v=0") | pictureList.kif 1017-1017 | |
| (subclass WaterWave LiquidMotion) | Mid-level-ontology.kif 17578-17578 | 子類 水波 and 液體運動 |
| appearance as argument number 2 |
|
|
| (subclass BreakingWave WaterWave) | Weather.kif 1335-1335 | 子類 BreakingWave and 水波 |
| (termFormat ChineseLanguage WaterWave "水波") | domainEnglishFormat.kif 62513-62513 | |
| (termFormat ChineseTraditionalLanguage WaterWave "水波") | domainEnglishFormat.kif 62512-62512 | |
| (termFormat EnglishLanguage WaterWave "water wave") | domainEnglishFormat.kif 62511-62511 |
| appearance as argument number 3 |
|
|
| (domain waveHeight 1 WaterWave) | Weather.kif 1398-1398 | 域 waveHeight, 1 and 水波 |
| antecedent |
|
|
| (=> (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 1515-1530 |
|
| (=> (instance ?WAVE WaterWave) (exists (?AREA) (and (instance ?AREA WaterArea) (eventLocated ?WAVE ?AREA)))) |
Mid-level-ontology.kif 17585-17590 |
| 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 1337-1357 |
|
| (=> (instance ?HS HeavySurf) (holdsDuring (WhenFn ?HS) (exists (?SZ ?WW) (and (instance ?SZ SurfZone) (instance ?WW WaterWave) (subProcess ?WW ?HS) (eventLocated ?WW ?SZ))))) |
Weather.kif 1551-1560 |
|
|
|