BeaufortNumber12
|
|
appearance as argument number 1 |
(documentation BeaufortNumber12 ChineseLanguage "BeaufortNumber12 (浦氏12风级)的 预计 surfaceWindSpeed (地面风速) 大于73 MilesPerHour (每小时英里)即(118 km/ h).") | Weather.kif 480-481 | |
(documentation BeaufortNumber12 EnglishLanguage "The estimated surfaceWindSpeed for BeaufortNumber12 is over 73 MilesPerHour (118 km/ h).") | Weather.kif 478-479 | |
(instance BeaufortNumber12 BeaufortNumberAttribute) | Weather.kif 482-482 |
appearance as argument number 2 |
(successorAttribute BeaufortNumber11 BeaufortNumber12) | Weather.kif 473-473 | |
(termFormat ChineseLanguage BeaufortNumber12 "浦氏12风级") | domainEnglishFormat.kif 10342-10342 | |
(termFormat EnglishLanguage BeaufortNumber12 "Beaufort number 12") | domainEnglishFormat.kif 10341-10341 |
antecedent |
(=> (and (instance ?W Wind) (instance ?BN BeaufortNumber12) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN))) (exists (?SPEED) (and (greaterThan ?SPEED 73.0) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED MilesPerHour)))))) |
Weather.kif 484-496 |