(=>
(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)
(eventLocated ?H ?P)
(instance ?P GeographicArea)
(or
(located ?P ?SEA)
(meetsSpatially ?P ?SEA)))
(or
(equal ?SEA NorthwesternPacificOcean)
(equal ?SEA NorthAtlanticOcean))) |
Weather.kif 1178-1188 |
If X is an instance of hurricane, X is located at Y, Y is an instance of geographic area, and Y is located at Z or Y meets Z, then equal Z and Northwestern Pacific Ocean or equal Z and north atlantic ocean |
(=>
(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 |
