Windy - Sigma Knowledge base Browser

appearance as argument number 1

(instance Windy Attribute)	Merge.kif 11540-11540	Windy is an instance of attribute
(documentation Windy EnglishLanguage "An Attribute indicating that at a given time and place the surfaceWindSpeed is greater than 20mph.")	Merge.kif 11541-11542	Windy is an instance of attribute

appearance as argument number 2

(termFormat EnglishLanguage Windy "windy")

antecedent

(=>
    (and
        (attribute ?W Windy)
        (located ?W ?L)
        (equal ?T
            (WhenFn ?W))
        (holdsDuring ?T
            (surfaceWindSpeed ?L
                (MeasureFn ?N MilesPerHour))))
    (greaterThan ?N 20.0))

If windy is an attribute of X, X is located at Y, equal Z and the time of existence of X, and W miles per hour(s) is a surface wind speed of Y holds during Z, then W is greater than 20.0