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 1551-1553
(documentation HeavySurf EnglishLanguage "HeavySurf is when the significantWaveHeight of the WaterWaves over a SurfZone is greater than 13 FootLength or 4 Meter.") Weather.kif 1549-1550
(subclass HeavySurf WaterMotion) Weather.kif 1555-1555
(subclass HeavySurf WeatherProcess) Weather.kif 1554-1554

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


(termFormat ChineseLanguage HeavySurf "高激浪") domainEnglishFormat.kif 27867-27867
(termFormat ChineseTraditionalLanguage HeavySurf "高激浪") domainEnglishFormat.kif 27866-27866
(termFormat EnglishLanguage HeavySurf "heavy zone") domainEnglishFormat.kif 27865-27865

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 1579-1592
(=>
    (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 1557-1566
(=>
    (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 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