| 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 16989-16993 | |
| (externalImage WaterWave "http://farm2.static.flickr.com/1300/1281908440_86cc9212f6.jpg?v=0") | pictureList.kif 1018-1018 | |
| (subclass WaterWave LiquidMotion) | Mid-level-ontology.kif 16988-16988 | 水波 是 液体运动 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass BreakingWave WaterWave) | Weather.kif 1350-1350 | 碎波 是 水波 的 subclass |
| (termFormat ChineseLanguage WaterWave "水波") | domainEnglishFormat.kif 62478-62478 | |
| (termFormat ChineseTraditionalLanguage WaterWave "水波") | domainEnglishFormat.kif 62477-62477 | |
| (termFormat EnglishLanguage WaterWave "water wave") | domainEnglishFormat.kif 62476-62476 |
| appearance as argument number 3 |
|
|
| (domain waveHeight 1 WaterWave) | Weather.kif 1413-1413 | 波高 的 1 数量 是 水波 的 instance |
| antecedent |
|
|
| (=> (and (instance ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA ?U) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (instance ?U LengthMeasure) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4.0 (StandardDeviationFn ?LIST)))))) |
Weather.kif 1531-1546 | |
| (=> (instance ?WAVE WaterWave) (exists (?AREA) (and (instance ?AREA WaterArea) (eventLocated ?WAVE ?AREA)))) |
Mid-level-ontology.kif 16995-17000 |
| consequent |
|
|
|
|
|