BeaufortNumber12 |
appearance as argument number 1 |
(documentation BeaufortNumber12 ChineseLanguage "BeaufortNumber12 (浦氏12风级)的 预计 surfaceWindSpeed (地面风速) 大于73 MilesPerHour (每小时英里)即(118 km/ h).") | Weather.kif 468-469 | |
(documentation BeaufortNumber12 EnglishLanguage "The estimated surfaceWindSpeed for BeaufortNumber12 is over 73 MilesPerHour (118 km/ h).") | Weather.kif 466-467 | |
(instance BeaufortNumber12 BeaufortNumberAttribute) | Weather.kif 470-470 | BeaufortNumber12 è un' istanza di BeaufortNumberAttribute |
appearance as argument number 2 |
(successorAttribute BeaufortNumber11 BeaufortNumber12) | Weather.kif 461-461 | BeaufortNumber11 è un immediato attributo successore di BeaufortNumber12 |
(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 472-484 |
|