SSHWS5 |
appearance as argument number 1 |
(documentation SSHWS5 ChineseLanguage "萨菲尔辛普森飓风5 (SSHWS5)级别的台风(Hurricane) 估计它的一分钟平均风速 (Mean1MinuteWindSpeedFn) 大于 157 mph(252 km/ h)。") | Weather.kif 2420-2421 | |
(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 2417-2419 | |
(instance SSHWS5 SSHWSAttribute) | Weather.kif 2424-2424 | 例 SSHWS5 and SSHWSAttribute |
appearance as argument number 2 |
(successorAttribute SSHWS4 SSHWS5) | Weather.kif 2413-2413 | 繼承屬性 SSHWS4 and SSHWS5 |
(termFormat ChineseLanguage SSHWS5 "萨菲尔辛普森飓风5") | Weather.kif 2423-2423 | |
(termFormat EnglishLanguage SSHWS5 "SSHWS5") | Weather.kif 2422-2422 |
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 2426-2440 |
|