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

appearance as argument number 2
-------------------------


(subclass BreakingWave WaterWave) Weather.kif 2182-2182 Breaking wave is a subclass of water wave
(termFormat ChineseLanguage WaterWave "水波") domainEnglishFormat.kif 62505-62505 Breaking wave is a subclass of water wave
(termFormat ChineseTraditionalLanguage WaterWave "水波") domainEnglishFormat.kif 62504-62504 Breaking wave is a subclass of water wave
(termFormat EnglishLanguage WaterWave "water wave") domainEnglishFormat.kif 62503-62503 Breaking wave is a subclass of water wave

appearance as argument number 3
-------------------------


(domain waveHeight 1 WaterWave) Weather.kif 2245-2245 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 ?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 2361-2376
(=>
    (instance ?WAVE WaterWave)
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (eventLocated ?WAVE ?AREA))))
Mid-level-ontology.kif 19109-19114

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 2184-2204
(=>
    (instance ?HS HeavySurf)
    (holdsDuring
        (WhenFn ?HS)
        (exists (?SZ ?WW)
            (and
                (instance ?SZ SurfZone)
                (instance ?WW WaterWave)
                (subProcess ?WW ?HS)
                (eventLocated ?WW ?SZ)))))
Weather.kif 2397-2406


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