WaterWave - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WaterWave

WaterWave(water wave)

billow, comber, crestless_wave, moving_ridge, riffle, ripple, rippling, surge, swell, tidal_wave, wave, wavelet, white_horse, whitecap

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 15137-15141
(externalImage WaterWave "http://farm2.static.flickr.com/1300/1281908440_86cc9212f6.jpg?v=0")	pictureList.kif 1018-1018
(subclass WaterWave LiquidMotion)	Mid-level-ontology.kif 15136-15136	Water wave is a subclass of liquid motion

appearance as argument number 2

(subclass BreakingWave WaterWave)	Weather.kif 1349-1349	Breaking wave is a subclass of water wave
(termFormat ChineseLanguage WaterWave "水波")	domainEnglishFormat.kif 62495-62495
(termFormat ChineseTraditionalLanguage WaterWave "水波")	domainEnglishFormat.kif 62494-62494
(termFormat EnglishLanguage WaterWave "water wave")	domainEnglishFormat.kif 62493-62493

appearance as argument number 3

(domain waveHeight 1 WaterWave)

Weather.kif 1413-1413

The number 1 argument of wave height is an instance of water wave

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 (StandardDeviationFn ?LIST))))))	Weather.kif 1531-1546	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area and an unit of measure such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at 2 and the unit of measure is an instance of length measure and significantWaveHeight in the water area during the time of existence of the water wave is a real number the unit of measure(s). and the real number is equal to 4 and The StandardDeviationFn of the list
(=> (instance ?WAVE WaterWave) (exists (?AREA) (and (instance ?AREA WaterArea) (eventLocated ?WAVE ?AREA))))	Mid-level-ontology.kif 15143-15148	If a process is an instance of water wave, then there exists an entity such that the entity is an instance of water area and the process is located at 2

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 1351-1371	If a process is an instance of breaking wave, then there exist another process, an object,, , an entity and a transfer such that the other process is an instance of water wave and the process is a subprocess of the other process and the object is an instance of body of water and the entity is an instance of body of water and the entity is a patient of the other process and the object is a patient of the process and the transfer is an instance of falling and the object transferred in the transfer is the object and the object is a part of the entity holds during the beginning of the time of existence of the transfer and the object is not a part of the entity holds during the end of the time of existence of the transfer
(=> (instance ?HS HeavySurf) (holdsDuring (WhenFn ?HS) (exists (?SZ) (and (instance ?SZ SurfZone) (instance ?WW WaterWave) (subProcess ?WW ?HS) (eventLocated ?WW ?SZ)))))	Weather.kif 1567-1576	If a physical is an instance of heavy zone, then there exists an entity such that the entity is an instance of surf zone and another entity is an instance of water wave and the other entity is a subprocess of the physical and the other entity is located at 2 holds during the time of existence of the physical

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners