BeaufortNumberAttribute(浦福氏风级属性) |
appearance as argument number 1 |
(documentation BeaufortNumberAttribute ChineseLanguage "BeaufortNumberAttribute (浦福氏凤级) 是表示风力的 Attribute (属性), 它根据可观察的天气条件如在相关位置物体的动态,然后按强弱归类风速等级。") | Weather.kif 340-341 | |
(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 336-339 | |
(subclass BeaufortNumberAttribute SpeedScaleAttribute) | Weather.kif 335-335 | 浦福氏风级属性 是 时速级数属性 的 subclass |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?BN BeaufortNumberAttribute) (property ?X ?BN)) (instance ?X Wind)) |
Weather.kif 343-347 | |
(=> (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 349-366 |
|