TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Squall Wind)	Weather.kif 2257-2257	Squall is a subclass of wind
(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 2258-2263	Squall is a subclass of wind
(externalImage Squall "http://upload.wikimedia.org/wikipedia/commons/5/5e/ Rainbow1_-_NOAA.jpg")	pictureList.kif 2000-2000	Squall is a subclass of wind

appearance as argument number 2

(termFormat EnglishLanguage Squall "squall")	domainEnglishFormat.kif 54853-54853
(termFormat ChineseTraditionalLanguage Squall "颮")	domainEnglishFormat.kif 54854-54854
(termFormat ChineseLanguage Squall "飑")	domainEnglishFormat.kif 54855-54855

antecedent

(=> (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 2265-2282	If All of the following hold: (1) X is an instance of squall (2) X is located at Y (3) Y is an instance of geographic area (4) Z miles per hour(s) is a surface wind speed of Y holds during the time of existence of X (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then Z is greater than or equal to 25 and U is greater than or equal to 18
(=> (and (instance ?S Squall) (eventLocated ?S ?R) (instance ?R GeographicArea) (duration (WhenFn ?S) (MeasureFn ?DUR MinuteDuration))) (greaterThanOrEqualTo ?DUR 1))	Weather.kif 2284-2291	If X is an instance of squall, X is located at Y, Y is an instance of geographic area, and duration of the time of existence of X is Z minute duration(s), then Z is greater than or equal to 1

consequent

(=>
    (instance ?W Pampero)
    (holdsDuring
        (WhenFn ?W)
        (exists (?S)
            (and
                (instance ?S Squall)
                (subProcess ?S ?W)))))

If X is an instance of pampero, then there exists Y such that Y is an instance of squall and Y is a subprocess of X holds during the time of existence of X