Windy |
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 and Attribute |
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 |
|