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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Blizzard
Blizzard(blizzard)
blizzard, snowstorm

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


(documentation Blizzard ChineseLanguage " Blizzard 是在地面风速超过35 KnotUnitOfSpeed,伴随 着连续 3 HourDuration 以上的 Snowing,强风把飘 Snow 吹起导致受影响的 %Region 的 visibilityInMeteorology 降至少于 400 Meter。") Weather.kif 2597-2599
(documentation Blizzard EnglishLanguage "A Blizzard is a Snowing with surfaceWindSpeed of over 35 KnotUnitOfSpeed for a sustained duration of at least 3 HourDuration. The strong Wind results in blowing Snow causing the %Region affected to have visibilityInMeteorology reduced to less than 400 Meter. ") Weather.kif 2593-2596
(externalImage Blizzard "http://upload.wikimedia.org/wikipedia/commons/f/ fa/ Blizzard1_-_NOAA.jpg") pictureList.kif 2116-2116
(subclass Blizzard Storm) Weather.kif 2600-2600 Blizzard is a subclass of storm

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


(termFormat ChineseLanguage Blizzard "暴风雪") domainEnglishFormat.kif 11349-11349
(termFormat ChineseTraditionalLanguage Blizzard "暴風雪") domainEnglishFormat.kif 11348-11348
(termFormat EnglishLanguage Blizzard "blizzard") domainEnglishFormat.kif 11347-11347

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


(=>
    (instance ?BLIZZARD Blizzard)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Snowing)
            (subProcess ?PROCESS ?BLIZZARD))))
Weather.kif 2603-2608
(=>
    (instance ?PROCESS Blizzard)
    (exists (?AREA ?DIST)
        (and
            (instance ?AREA GeographicArea)
            (eventLocated ?PROCESS ?AREA)
            (visibilityInMeteorology ?AREA
                (WhenFn ?PROCESS)
                (MeasureFn ?DIST Meter))
            (lessThan ?DIST 400.0))))
Weather.kif 2625-2634
(=>
    (instance ?PROCESS Blizzard)
    (holdsDuring
        (WhenFn ?PROCESS)
        (exists (?AREA ?GALE ?DURATION)
            (and
                (instance ?AREA GeographicArea)
                (eventLocated ?PROCESS ?AREA)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?GALE KnotUnitOfSpeed))
                (greaterThan ?GALE 35.0)
                (duration
                    (WhenFn ?PROCESS)
                    (MeasureFn ?DURATION HourDuration))
                (greaterThan ?DURATION 3)))))
Weather.kif 2610-2623


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