Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| speedScaleAttributeMinMax |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (format EnglishLanguage speedScaleAttributeMinMax "%2 and %3 are the min and max speed of %1") | Weather.kif 3387-3387 | |
| (format ChineseLanguage speedScaleAttributeMinMax "%1 的最低和最高是 %2 和 %3") | Weather.kif 3391-3391 | |
| (termFormat EnglishLanguage speedScaleAttributeMinMax "speed scale attribute min max") | domainEnglishFormat.kif 10351-10351 | |
| (termFormat ChineseLanguage speedScaleAttributeMinMax "时速级数属性最低最高") | domainEnglishFormat.kif 10352-10352 |
| antecedent |
|
|
| (=> (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 321-338 | If All of the following hold: (1) X is an instance of wind (2) Y is an instance of Beaufort number attribute (3) X is located at Z (4) W believes X the attribute Y (5) V U(s) and T U(s) are the min and max speed of Y (6) U is an instance of unit of measure, then there exists S such that S is greater than or equal to V and S is less than or equal to T and W believes S U(s) is a surface wind speed of Z |
| (=> (and (instance ?T Tornado) (instance ?EF EFScaleAttribute) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF)) (speedScaleAttributeMinMax ?EF (MeasureFn ?MIN MilesPerHour) (MeasureFn ?MAX MilesPerHour))) (exists (?GUST) (and (greaterThanOrEqualTo ?GUST ?MIN) (lessThanOrEqualTo ?GUST ?MAX) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T))))))) |
Weather.kif 3363-3381 | If X is an instance of tornado, Y is an instance of enhanced fuijita scale attribute, X is located at Z, W believes X the attribute Y, and V miles per hour(s) and U miles per hour(s) are the min and max speed of Y, then there exists T such that T is greater than or equal to V and T is less than or equal to U and W believes equal T miles per hour(s) and ThreeSecondSpeedGustFn ending at the time of existence of X in Z |
| (=> (and (speedScaleAttributeMinMax ?ATTR (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?X ?SPEED) (and (instance ?X Motion) (property ?X ?ATTR) (measure ?X (MeasureFn ?SPEED ?U)) (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX)))) |
Weather.kif 3397-3410 | If X Y(s) and Z Y(s) are the min and max speed of W and Y is an instance of unit of measure, then there exist V and U such that V is an instance of motion and V the attribute W and the measure of V is U Y(s) and U is greater than or equal to X and U is less than or equal to Z |
| (=> (and (instance ?H Hurricane) (instance ?SS SSHWSAttribute) (eventLocated ?H ?AREA) (believes ?A (property ?H ?SS)) (speedScaleAttributeMinMax ?SS (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?WIND) (and (greaterThanOrEqualTo ?WIND ?MIN) (lessThanOrEqualTo ?WIND ?MAX) (believes ?A (equal (MeasureFn ?WIND ?U) (Mean1MinuteWindSpeedFn ?AREA (WhenFn ?H))))))) |
Weather.kif 3632-3651 | If All of the following hold: (1) X is an instance of hurricane (2) Y is an instance of Saffir Simpson Hurrican wind scale (3) X is located at Z (4) W believes X the attribute Y (5) V U(s) and T U(s) are the min and max speed of Y (6) U is an instance of unit of measure, then there exists S such that S is greater than or equal to V and S is less than or equal to T and W believes equal S U(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Z |
| appearance as argument number 0 |
|
|
|