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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Blizzard
Blizzard

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


(documentation Blizzard ChineseLanguage " Blizzard 是在地面风速超过35 KnotUnitOfSpeed,伴随 着连续 3 HourDuration 以上的 Snowing,强风把飘 Snow 吹起导致受影响的 %Region 的 visibilityInMeteorology 降至少于 400 Meter。") Weather.kif 2614-2616
(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 2610-2613
(externalImage Blizzard "http://upload.wikimedia.org/wikipedia/commons/f/ fa/ Blizzard1_-_NOAA.jpg") pictureList.kif 2116-2116
(subclass Blizzard Storm) Weather.kif 2617-2617 Blizzard est une sous-classe de Storm

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


(termFormat ChineseLanguage Blizzard "暴风雪") domainEnglishFormat.kif 11333-11333
(termFormat ChineseTraditionalLanguage Blizzard "暴風雪") domainEnglishFormat.kif 11332-11332
(termFormat EnglishLanguage Blizzard "blizzard") domainEnglishFormat.kif 11331-11331

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


(=>
    (instance ?BLIZZARD Blizzard)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Snowing)
            (subProcess ?PROCESS ?BLIZZARD))))
Weather.kif 2620-2625
(=>
    (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 2642-2651
(=>
    (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 2627-2640


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