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 2607-2609
(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 2603-2606
(externalImage Blizzard "http://upload.wikimedia.org/wikipedia/commons/f/ fa/ Blizzard1_-_NOAA.jpg") pictureList.kif 2117-2117
(subclass Blizzard Storm) Weather.kif 2610-2610 Blizzard is a subclass of storm

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


(termFormat ChineseLanguage Blizzard "暴风雪") domainEnglishFormat.kif 11345-11345
(termFormat ChineseTraditionalLanguage Blizzard "暴風雪") domainEnglishFormat.kif 11344-11344
(termFormat EnglishLanguage Blizzard "blizzard") domainEnglishFormat.kif 11343-11343

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


(=>
    (instance ?BLIZZARD Blizzard)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Snowing)
            (subProcess ?PROCESS ?BLIZZARD))))
Weather.kif 2613-2618
(=>
    (instance ?PROCESS Blizzard)
    (exists (?AREA ?DIST)
        (and
            (instance ?AREA GeographicArea)
            (eventLocated ?PROCESS ?AREA)
            (visibilityInMeteorology ?AREA
                (WhenFn ?PROCESS)
                (MeasureFn ?DIST Meter))
            (lessThan ?DIST 400))))
Weather.kif 2635-2644
(=>
    (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)
                (duration
                    (WhenFn ?PROCESS)
                    (MeasureFn ?DURATION HourDuration))
                (greaterThan ?DURATION 3)))))
Weather.kif 2620-2633


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