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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterWave

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 17552-17556
(externalImage WaterWave "http://farm2.static.flickr.com/1300/1281908440_86cc9212f6.jpg?v=0") pictureList.kif 1017-1017
(subclass WaterWave LiquidMotion) Mid-level-ontology.kif 17551-17551 水波液体运动subclass

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


(subclass BreakingWave WaterWave) Weather.kif 1351-1351 碎波水波subclass
(termFormat ChineseLanguage WaterWave "水波") domainEnglishFormat.kif 62511-62511
(termFormat ChineseTraditionalLanguage WaterWave "水波") domainEnglishFormat.kif 62510-62510
(termFormat EnglishLanguage WaterWave "water wave") domainEnglishFormat.kif 62509-62509

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


(domain waveHeight 1 WaterWave) Weather.kif 1414-1414 波高 的 1 数量 是 水波instance

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

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 1353-1373
(=>
    (instance ?HS HeavySurf)
    (holdsDuring
        (WhenFn ?HS)
        (exists (?SZ ?WW)
            (and
                (instance ?SZ SurfZone)
                (instance ?WW WaterWave)
                (subProcess ?WW ?HS)
                (eventLocated ?WW ?SZ)))))
Weather.kif 1568-1577


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

Show without tree


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