WarsawPact
|
|
appearance as argument number 1 |
(documentation BeaufortNumberAttribute ChineseLanguage "BeaufortNumberAttribute (浦福氏凤级) 是表示风力的 Attribute (属性), 它根据可观察的天气条件如在相关位置物体的动态,然后按强弱归类风速等级。") | Weather.kif 328-329 | |
(documentation BeaufortNumberAttribute EnglishLanguage "BeaufortNumberAttribute is the Attribute for indicating wind force, according to classifications based on observable weather conditions such as movement of object presence at the location, and later related to wind speed ranges.") | Weather.kif 324-327 | |
(subclass BeaufortNumberAttribute SpeedScaleAttribute) | Weather.kif 323-323 |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?BN BeaufortNumberAttribute) (property ?X ?BN)) (instance ?X Wind)) |
Weather.kif 331-335 | |
(=> (and (instance ?W Wind) (instance ?BN BeaufortNumberAttribute) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN)) (speedScaleAttributeMinMax ?BN (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?SPEED) (and (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED ?U)))))) |
Weather.kif 337-354 |