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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Squall
Squall(squall)
line_squall, squall

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


(documentation Squall EnglishLanguage "A Squall is a sudden, sharp increase in wind speed lasting minutes, as opposed to a wind gust, which lasts for only seconds. In 1962 the World Meteorological Organization (WMO) defined that to be classified as a squall, the wind must increase at least 8 metres per second (29 km/ h; 18 mph) and must attain a top speed of at least 11 metres per second (40 km/ h; 25 mph), lasting at least one minute in duration.[Wikipedia]") Weather.kif 1813-1818
(externalImage Squall "http://upload.wikimedia.org/wikipedia/commons/5/5e/ Rainbow1_-_NOAA.jpg") pictureList.kif 2000-2000
(subclass Squall Wind) Weather.kif 1812-1812 Squall is a subclass of wind

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


(termFormat ChineseLanguage Squall "飑") domainEnglishFormat.kif 54862-54862
(termFormat ChineseTraditionalLanguage Squall "颮") domainEnglishFormat.kif 54861-54861
(termFormat EnglishLanguage Squall "squall") domainEnglishFormat.kif 54860-54860

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


(=>
    (and
        (instance ?S Squall)
        (eventLocated ?S ?R)
        (instance ?R GeographicArea)
        (duration
            (WhenFn ?S)
            (MeasureFn ?DUR MinuteDuration)))
    (greaterThanOrEqualTo ?DUR 1))
Weather.kif 1839-1846
(=>
    (and
        (instance ?S Squall)
        (eventLocated ?S ?R)
        (instance ?R GeographicArea)
        (holdsDuring
            (WhenFn ?S)
            (surfaceWindSpeed ?R
                (MeasureFn ?TOP MilesPerHour)))
        (earlier ?T
            (WhenFn ?S))
        (holdsDuring ?T
            (surfaceWindSpeed ?R
                (MeasureFn ?BASE MilesPerHour)))
        (equal ?DIFF
            (SubtractionFn ?TOP ?BASE)))
    (and
        (greaterThanOrEqualTo ?TOP 25)
        (greaterThanOrEqualTo ?DIFF 18)))
Weather.kif 1820-1837

consequent
-------------------------


(=>
    (instance ?W Pampero)
    (holdsDuring
        (WhenFn ?W)
        (exists (?S)
            (and
                (instance ?S Squall)
                (subProcess ?S ?W)))))
Weather.kif 1803-1810


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