Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  EF5
|
|
|
| appearance as argument number 1 |
|
|
| (documentation EF5 EnglishLanguage "The estimated ThreeSecondGustSpeedFn for a Tornado of EFScaleAttribute EF5 is greater than 200mph (322km/ h).") | Weather.kif 3452-3453 | |
| (documentation EF5 ChineseLanguage "EFScale(改良藤田级数)EF5 的龙卷风估计三秒阵风风速大于 200mph (322km/ h)。") | Weather.kif 3454-3455 | |
| (instance EF5 EFScaleAttribute) | Weather.kif 3456-3456 | EF5 is an instance of enhanced fuijita scale attribute |
| appearance as argument number 2 |
|
|
| (successorAttribute EF4 EF5) | Weather.kif 3449-3449 | EF4 is an immediate successor attribute of EF5 |
| (termFormat EnglishLanguage EF5 "EF5") | domainEnglishFormat.kif 10369-10369 | EF4 is an immediate successor attribute of EF5 |
| (termFormat ChineseLanguage EF5 "改良藤田5") | domainEnglishFormat.kif 10370-10370 | EF4 is an immediate successor attribute of EF5 |
| 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 3458-3472 | If X is an instance of tornado, Y is an instance of EF5, X is located at Z, and W believes X the attribute Y, then there exists V such that V is greater than 200.0 and W believes equal V miles per hour(s) and ThreeSecondSpeedGustFn ending at the time of existence of X in Z |
|