Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EF3(EF3) |
| appearance as argument number 1 |
|
| (documentation EF3 EnglishLanguage "The estimated ThreeSecondGustSpeedFn for a Tornado of EFScaleAttribute EF3 ranges between 136 and 165mph (218 and 266km/ h).") | Weather.kif 3436-3437 | |
| (documentation EF3 ChineseLanguage "EFScale(改良藤田级数)EF3 的龙卷风估计三秒阵风风速在 136 到 136mph (218 到 266km/ h)之间。") | Weather.kif 3438-3439 | |
| (instance EF3 EFScaleAttribute) | Weather.kif 3440-3440 | EF3 is an instance of enhanced fuijita scale attribute |
| (successorAttribute EF3 EF4) | Weather.kif 3441-3441 | EF3 is an immediate successor attribute of EF4 |
| (speedScaleAttributeMinMax EF3 (MeasureFn 136.0 MilesPerHour) (MeasureFn 165.0 MilesPerHour)) |
Weather.kif 3442-3442 | 136.0 Miles per hour(s) and 165.0 miles per hour(s) are the min and max speed of EF3 |
| appearance as argument number 2 |
|
|
| (successorAttribute EF2 EF3) | Weather.kif 3433-3433 | EF2 is an immediate successor attribute of EF3 |
| (termFormat EnglishLanguage EF3 "EF3") | domainEnglishFormat.kif 10363-10363 | EF2 is an immediate successor attribute of EF3 |
| (termFormat ChineseLanguage EF3 "改良藤田3") | domainEnglishFormat.kif 10364-10364 | EF2 is an immediate successor attribute of EF3 |
|