TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Windy EnglishLanguage "An Attribute indicating that at a given time and place the surfaceWindSpeed is greater than 20mph.")	Merge.kif 11306-11307
(instance Windy Attribute)	Merge.kif 11305-11305	Windy ist ein fall von Attribute %n{nicht}

appearance as argument number 2

(termFormat EnglishLanguage Windy "windy")

Merge.kif 11308-11308

antecedent

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

Merge.kif 11310-11318

Wenn Physical ist ein fall von Windy %n{nicht} und ** Physical befindet sich an %n{nicht} und TimeInterval ist gleich die zeit des Bestehens von ** Physical %n{nicht} und surfaceWindSpeed Object and RealNumber MilesPerHour(s) haelt waehrend ** TimeInterval %n{nicht},
dann ** RealNumber ist groesserAls 20.0 %n{nicht}