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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HeavySurf
HeavySurf

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


(documentation HeavySurf ChineseLanguage "HeavySurf 是当碎波带 (SurfZone) 出现海浪 (WaterWave)有效波高 (significantWaveHeight) 高于 13 FootLength 或 4 Meter 的情况。") Weather.kif 1550-1552
(documentation HeavySurf EnglishLanguage "HeavySurf is when the significantWaveHeight of the WaterWaves over a SurfZone is greater than 13 FootLength or 4 Meter.") Weather.kif 1548-1549
(subclass HeavySurf WaterMotion) Weather.kif 1554-1554
(subclass HeavySurf WeatherProcess) Weather.kif 1553-1553

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


(termFormat ChineseLanguage HeavySurf "高激浪") domainEnglishFormat.kif 27858-27858
(termFormat ChineseTraditionalLanguage HeavySurf "高激浪") domainEnglishFormat.kif 27857-27857
(termFormat EnglishLanguage HeavySurf "heavy zone") domainEnglishFormat.kif 27856-27856

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


(=>
    (and
        (instance ?HS HeavySurf)
        (instance ?PLACE WaterArea)
        (eventLocated ?HS ?PLACE))
    (exists (?SWIM ?A)
        (and
            (instance ?SWIM Swimming)
            (instance ?A Human)
            (agent ?SWIM ?A)
            (eventLocated ?SWIM ?PLACE)
            (holdsDuring
                (WhenFn ?HS)
                (hazardous ?HS ?A)))))
Weather.kif 1578-1591
(=>
    (instance ?HS HeavySurf)
    (exists (?SZ ?SWH)
        (and
            (instance ?SZ SurfZone)
            (eventLocated ?HS ?SZ)
            (significantWaveHeight ?SZ
                (WhenFn ?HS)
                (MeasureFn ?SWH FootLength))
            (greaterThanOrEqualTo ?SWH 13))))
Weather.kif 1556-1565
(=>
    (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