Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterWave
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 15751-15755
(externalImage WaterWave "http://farm2.static.flickr.com/1300/1281908440_86cc9212f6.jpg?v=0") pictureList.kif 1018-1018
(subclass WaterWave LiquidMotion) Mid-level-ontology.kif 15750-15750

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


(subclass BreakingWave WaterWave) Weather.kif 1349-1349
(termFormat ChineseLanguage WaterWave "水波") domainEnglishFormat.kif 62477-62477
(termFormat ChineseTraditionalLanguage WaterWave "水波") domainEnglishFormat.kif 62476-62476
(termFormat EnglishLanguage WaterWave "water wave") domainEnglishFormat.kif 62475-62475

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


(domain waveHeight 1 WaterWave) Weather.kif 1413-1413

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
(=>
    (instance ?WAVE WaterWave)
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (eventLocated ?WAVE ?AREA))))
Mid-level-ontology.kif 15757-15762

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
(=>
    (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


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