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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SurfZone

Sigma KEE - SurfZone
SurfZone

appearance as argument number 1
-------------------------


(documentation SurfZone ChineseLanguage "这是海岸线对外,波浪破裂的水域。") Weather.kif 1360-1360
(documentation SurfZone EnglishLanguage "The WaterArea off the Shoreline where waves break.") Weather.kif 1359-1359
(subclass SurfZone WaterArea) Weather.kif 1362-1362

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


(termFormat ChineseLanguage SurfZone "碎波带") domainEnglishFormat.kif 27845-27845
(termFormat EnglishLanguage SurfZone "surf zone") domainEnglishFormat.kif 27844-27844

antecedent
-------------------------


(=>
    (and
        (instance ?SZ SurfZone)
        (significantWaveHeight ?SZ
            (WhenFn ?SZ)
            (MeasureFn ?X FootLength))
        (greaterThan ?X 8.0))
    (attribute ?SZ RedFlagSwimmingCondition))
Weather.kif 1382-1389
(=>
    (instance ?SURF SurfZone)
    (exists (?SL)
        (and
            (instance ?SL Shoreline)
            (orientation ?SURF ?SL Adjacent))))
Weather.kif 1363-1368

consequent
-------------------------


(=>
    (instance ?BREAK BreakingWave)
    (exists (?SURF)
        (and
            (instance ?SURF SurfZone)
            (eventLocated ?BREAK ?SURF))))
Weather.kif 1370-1375
(=>
    (instance ?HS HeavySurf)
    (exists (?SZ ?SWH)
        (and
            (instance ?SZ SurfZone)
            (eventLocated ?HS ?SZ)
            (significantWaveHeight ?SZ
                (WhenFn ?HS)
                (MeasureFn ?SWH FootLength))
            (greaterThanOrEqualTo ?SWH 13.0))))
Weather.kif 1540-1549
(=>
    (instance ?HS HeavySurf)
    (holdsDuring
        (WhenFn ?HS)
        (exists (?SZ ?WW)
            (and
                (instance ?SZ SurfZone)
                (instance ?WW WaterWave)
                (subProcess ?WW ?HS)
                (eventLocated ?WW ?SZ)))))
Weather.kif 1551-1560


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