EF5 |
appearance as argument number 1 |
(documentation EF5 ChineseLanguage "EFScale(改良藤田级数)EF5 的龙卷风估计三秒阵风风速大于 200mph (322km/ h)。") | Weather.kif 2170-2171 | |
(documentation EF5 EnglishLanguage "The estimated ThreeSecondGustSpeedFn for a Tornado of EFScaleAttribute EF5 is greater than 200mph (322km/ h).") | Weather.kif 2168-2169 | |
(instance EF5 EFScaleAttribute) | Weather.kif 2172-2172 | EF5 は EFScaleAttribute の instance では %n |
appearance as argument number 2 |
(successorAttribute EF4 EF5) | Weather.kif 2165-2165 | EF4 は EF5 の immediate successor attribute では %n |
(termFormat ChineseLanguage EF5 "改良藤田5") | domainEnglishFormat.kif 10370-10370 | |
(termFormat EnglishLanguage EF5 "EF5") | domainEnglishFormat.kif 10369-10369 |
antecedent |
(=> (and (instance ?T Tornado) (instance ?EF EF5) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF))) (exists (?GUST) (and (greaterThan ?GUST 200.0) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T))))))) |
Weather.kif 2174-2188 |
|