(=>
(instance ?TD TropicalDepression)
(exists (?PLACE ?WIND)
(and
(instance ?PLACE GeographicArea)
(eventLocated ?TD ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TD)))
(lessThanOrEqualTo ?WIND 38.0)))) |
Weather.kif 1085-1095 |
If X is an instance of tropical depression, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and equal Z miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Y and Z is less than or equal to 38.0 |
(=>
(instance ?TC TropicalCyclone)
(exists (?PLACE ?WIND)
(and
(instance ?PLACE GeographicArea)
(eventLocated ?TC ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TC)))
(greaterThanOrEqualTo ?WIND 44.0)))) |
Weather.kif 1106-1116 |
If X is an instance of tropical cyclone, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and equal Z miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Y and Z is greater than or equal to 44.0 |
(=>
(instance ?TS TropicalStorm)
(exists (?PLACE ?WIND)
(and
(instance ?PLACE GeographicArea)
(eventLocated ?TS ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TS)))
(greaterThanOrEqualTo ?WIND 39.0)
(lessThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 1141-1152 |
If X is an instance of tropical storm, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and equal Z miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Y and Z is greater than or equal to 39.0 and Z is less than or equal to 74.0 |
(=>
(instance ?H Hurricane)
(exists (?TC ?PLACE ?WIND)
(and
(instance ?TC TropicalCyclone)
(instance ?PLACE GeographicArea)
(eventLocated ?TC ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TC)))
(greaterThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 1165-1176 |
If X is an instance of hurricane, then there exist Y, Z and W such that Y is an instance of tropical cyclone and Z is an instance of geographic area and Y is located at Z and equal W miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of Y in region Z and W is greater than or equal to 74.0 |
(=>
(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 |
(=>
(and
(instance ?H Hurricane)
(instance ?SS SSHWS5)
(eventLocated ?H ?AREA)
(believes ?A
(property ?H ?SS)))
(exists (?WIND)
(and
(greaterThan ?WIND 157.0)
(believes ?A
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?AREA
(WhenFn ?H))))))) |
Weather.kif 3710-3724 |
If X is an instance of hurricane, Y is an instance of SSHWS5, X is located at Z, and W believes X the attribute Y, then there exists V such that V is greater than 157.0 and W believes equal V miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Z |
