Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SSHWS5(SSHWS5) |
| appearance as argument number 1 |
|
| (documentation SSHWS5 EnglishLanguage "The estimated highest Mean1MinuteWindSpeedFn (one_minute sustained winds) for a Hurricane of SSHWSAttribute SSHWS5 is greater than 157 mph (252 km/ h).") | Weather.kif 3701-3703 | |
| (documentation SSHWS5 ChineseLanguage "萨菲尔辛普森飓风5 (SSHWS5)级别的台风(Hurricane) 估计它的一分钟平均风速 (Mean1MinuteWindSpeedFn) 大于 157 mph(252 km/ h）。") | Weather.kif 3704-3705 | |
| (instance SSHWS5 SSHWSAttribute) | Weather.kif 3708-3708 | SSHWS5 is an instance of Saffir Simpson Hurrican wind scale |
| appearance as argument number 2 |
|
|
| (successorAttribute SSHWS4 SSHWS5) | Weather.kif 3697-3697 | SSHWS4 is an immediate successor attribute of SSHWS5 |
| (termFormat EnglishLanguage SSHWS5 "SSHWS5") | Weather.kif 3706-3706 | SSHWS4 is an immediate successor attribute of SSHWS5 |
| (termFormat ChineseLanguage SSHWS5 "萨菲尔辛普森飓风5") | Weather.kif 3707-3707 | SSHWS4 is an immediate successor attribute of SSHWS5 |
| antecedent |
|
|
| (=> (and (instance ?H Hurricane) (instance ?SS SSHWS5) (eventLocated ?H ?AREA) (believes ?A (property ?H ?SS))) (exists (?WIND) (and (greaterThan ?WIND 157.0) (believes ?A (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?AREA (WhenFn ?H))))))) |
Weather.kif 3710-3724 | If X is an instance of hurricane, Y is an instance of SSHWS5, X is located at Z, and W believes X the attribute Y, then there exists V such that V is greater than 157.0 and W believes equal V miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Z |
|