(<=>
(equal ?SPEED
(MeasureFn ?NUM MilesPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Mile)
(MeasureFn 1 HourDuration)))) |
Merge.kif 11532-11538 |
equal X and Y miles per hour(s) if and only if equal X and Y mile(s) per 1 hour duration(s) |
(=>
(and
(attribute ?W Windy)
(located ?W ?L)
(equal ?T
(WhenFn ?W))
(holdsDuring ?T
(surfaceWindSpeed ?L
(MeasureFn ?N MilesPerHour))))
(greaterThan ?N 20.0)) |
Merge.kif 11545-11553 |
If windy is an attribute of X, X is located at Y, equal Z and the time of existence of X, and W miles per hour(s) is a surface wind speed of Y holds during Z, then W is greater than 20.0 |
(=>
(and
(instance ?START Starting)
(objectTransferred ?START ?O)
(holdsDuring
(EndFn ?START)
(measure ?O
(MeasureFn ?N MilesPerHour))))
(greaterThan ?N 0.0)) |
Mid-level-ontology.kif 34762-34768 |
If X is an instance of starting, the object transferred in X is Y, and the measure of Y is Z miles per hour(s) holds during the end of X, then Z is greater than 0.0 |
(=>
(and
(instance ?STOP Stopping)
(objectTransferred ?STOP ?O)
(holdsDuring
(BeginFn ?STOP)
(measure ?O
(MeasureFn ?N MilesPerHour))))
(greaterThan ?N 0.0)) |
Mid-level-ontology.kif 34783-34789 |
If X is an instance of stopping, the object transferred in X is Y, and the measure of Y is Z miles per hour(s) holds during the beginning of X, then Z is greater than 0.0 |
(=>
(and
(governorSpeed ?V ?Q)
(equal
(MeasureFn ?FAST MilesPerHour)
(SpeedFn ?L1 ?T1))
(equal
(MeasureFn ?SLOW MilesPerHour)
(SpeedFn ?L2 ?T2))
(greaterThan ?FAST ?SLOW)
(equal ?FASTPROB
(ProbabilityFn
(measure ?V
(MeasureFn ?FAST MilesPerHour))))
(equal ?SLOWPROB
(ProbabilityFn
(measure ?V
(MeasureFn ?SLOW MilesPerHour)))))
(greaterThan ?SLOWPROB ?FASTPROB)) |
Cars.kif 2722-2740 |
If All of the following hold: (1) the maximum speed allowed by X is Y (2) equal Z miles per hour(s) and W per V (3) equal U miles per hour(s) and T per S (4) Z is greater than U (5) equal R and the probability of the measure of X is Z miles per hour(s) (6) equal Q and the probability of the measure of X is U miles per hour(s), then Q is greater than R |
(=>
(and
(instance ?G SpeedGovernor)
(governorSpeed ?V
(MeasureFn ?S MilesPerHour))
(connectedEngineeringComponents ?G ?V))
(hasPurpose ?G
(not
(exists (?SP2)
(and
(measure ?V
(MeasureFn ?SP2 MilesPerHour))
(greaterThan ?SP2 ?S)))))) |
Cars.kif 2747-2759 |
If X is an instance of governor, the maximum speed allowed by Y is Z miles per hour(s), and X is connected to Y, then X has the purpose there doesn't exist W such that the measure of Y is W miles per hour(s) and W is greater than Z |
(=>
(and
(instance ?EG EngineGovernor)
(instance ?E Engine)
(connectedEngineeringComponents ?EG ?E)
(governorSpeed ?E
(MeasureFn ?S MilesPerHour)))
(hasPurpose ?EG
(not
(exists (?R ?P ?M)
(and
(instance ?P Device)
(part ?P ?E)
(instance ?R Rotating)
(holdsDuring
(WhenFn ?R)
(and
(measure ?P
(MeasureFn ?M MilesPerHour))
(greaterThan ?M ?S)))))))) |
Cars.kif 2768-2786 |
If X is an instance of governor, Y is an instance of engine, X is connected to Y, and the maximum speed allowed by Y is Z miles per hour(s), then X has the purpose there don't exist W, V and U such that V is an instance of device and V is a part of Y and W is an instance of rotating and the measure of V is U miles per hour(s) and U is greater than Z holds during the time of existence of W |
(=>
(and
(instance ?EG EngineGovernor)
(instance ?V Vehicle)
(connectedEngineeringComponents ?EG ?V)
(governorSpeed ?E
(MeasureFn ?S MilesPerHour)))
(hasPurpose ?EG
(not
(exists (?T ?M)
(and
(instance ?T Translocation)
(holdsDuring
(WhenFn ?T)
(and
(measure ?V
(MeasureFn ?M MilesPerHour))
(greaterThan ?M ?S)))))))) |
Cars.kif 2795-2811 |
If X is an instance of governor, Y is an instance of vehicle, X is connected to Y, and the maximum speed allowed by Z is W miles per hour(s), then X has the purpose there don't exist V and U such that V is an instance of translocation and the measure of Y is U miles per hour(s) and U is greater than W holds during the time of existence of V |
(=>
(and
(instance ?W StrongWind)
(eventLocated ?W ?A)
(instance ?A GeographicArea)
(surfaceWindSpeed ?A
(MeasureFn ?X MilesPerHour)))
(greaterThan ?X 58)) |
Weather.kif 1926-1933 |
If X is an instance of strong wind, X is located at Y, Y is an instance of geographic area, and Z miles per hour(s) is a surface wind speed of Y, then Z is greater than 58 |
(=>
(and
(instance ?S Squall)
(eventLocated ?S ?R)
(instance ?R GeographicArea)
(holdsDuring
(WhenFn ?S)
(surfaceWindSpeed ?R
(MeasureFn ?TOP MilesPerHour)))
(earlier ?T
(WhenFn ?S))
(holdsDuring ?T
(surfaceWindSpeed ?R
(MeasureFn ?BASE MilesPerHour)))
(equal ?DIFF
(SubtractionFn ?TOP ?BASE)))
(and
(greaterThanOrEqualTo ?TOP 25)
(greaterThanOrEqualTo ?DIFF 18))) |
Weather.kif 2265-2282 |
If All of the following hold: (1) X is an instance of squall (2) X is located at Y (3) Y is an instance of geographic area (4) Z miles per hour(s) is a surface wind speed of Y holds during the time of existence of X (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then Z is greater than or equal to 25 and U is greater than or equal to 18 |
(=>
(and
(instance ?G WindGust)
(eventLocated ?G ?R)
(instance ?R GeographicArea)
(equal
(ThreeSecondGustSpeedFn ?R
(WhenFn ?G))
(MeasureFn ?TOP MilesPerHour))
(earlier ?T
(WhenFn ?G))
(holdsDuring ?T
(surfaceWindSpeed ?R
(MeasureFn ?BASE MilesPerHour)))
(equal ?DIFF
(SubtractionFn ?TOP ?BASE)))
(and
(greaterThanOrEqualTo ?TOP 18)
(greaterThanOrEqualTo ?DIFF 10))) |
Weather.kif 2313-2329 |
If All of the following hold: (1) X is an instance of wind gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then Z is greater than or equal to 18 and U is greater than or equal to 10 |
(=>
(and
(instance ?G WindGust)
(eventLocated ?G ?R)
(instance ?R GeographicArea)
(equal
(ThreeSecondGustSpeedFn ?R
(WhenFn ?G))
(MeasureFn ?TOP MilesPerHour))
(earlier
(WhenFn ?G) ?T)
(holdsDuring ?T
(surfaceWindSpeed ?R
(MeasureFn ?BASE MilesPerHour)))
(equal ?DIFF
(SubtractionFn ?TOP ?BASE)))
(greaterThanOrEqualTo ?DIFF 10)) |
Weather.kif 2331-2345 |
If All of the following hold: (1) X is an instance of wind gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) the time of existence of X happens earlier than W (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than or equal to 10 |
(=>
(and
(instance ?G WeakGust)
(eventLocated ?G ?R)
(instance ?R GeographicArea)
(equal
(ThreeSecondGustSpeedFn ?R
(WhenFn ?G))
(MeasureFn ?TOP MilesPerHour))
(earlier ?T
(WhenFn ?G))
(holdsDuring ?T
(surfaceWindSpeed ?R
(MeasureFn ?BASE MilesPerHour)))
(equal ?DIFF
(SubtractionFn ?TOP ?BASE)))
(and
(greaterThanOrEqualTo ?DIFF 12)
(lessThanOrEqualTo ?DIFF 17))) |
Weather.kif 2352-2368 |
If All of the following hold: (1) X is an instance of weak gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than or equal to 12 and U is less than or equal to 17 |
(=>
(and
(instance ?G StrongGust)
(eventLocated ?G ?R)
(instance ?R GeographicArea)
(equal
(ThreeSecondGustSpeedFn ?R
(WhenFn ?G))
(MeasureFn ?TOP MilesPerHour))
(earlier ?T
(WhenFn ?G))
(holdsDuring ?T
(surfaceWindSpeed ?R
(MeasureFn ?BASE MilesPerHour)))
(equal ?DIFF
(SubtractionFn ?TOP ?BASE)))
(and
(greaterThan ?DIFF 17)
(lessThanOrEqualTo ?DIFF 29))) |
Weather.kif 2375-2391 |
If All of the following hold: (1) X is an instance of strong gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than 17 and U is less than or equal to 29 |
(=>
(and
(instance ?G ViolentGust)
(eventLocated ?G ?R)
(instance ?R GeographicArea)
(equal
(ThreeSecondGustSpeedFn ?R
(WhenFn ?G))
(MeasureFn ?TOP MilesPerHour))
(earlier ?T
(WhenFn ?G))
(holdsDuring ?T
(surfaceWindSpeed ?R
(MeasureFn ?BASE MilesPerHour)))
(equal ?DIFF
(SubtractionFn ?TOP ?BASE)))
(greaterThan ?DIFF 29)) |
Weather.kif 2398-2412 |
If All of the following hold: (1) X is an instance of violent gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than 29 |
(=>
(and
(instance ?W SantaAnaWinds)
(eventLocated ?W ?R)
(instance ?R GeographicArea)
(surfaceWindSpeed ?R
(MeasureFn ?X MilesPerHour)))
(greaterThan ?X 25)) |
Weather.kif 2618-2625 |
If X is an instance of Santa Ana winds, X is located at Y, Y is an instance of geographic area, and Z miles per hour(s) is a surface wind speed of Y, then Z is greater than 25 |
(=>
(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 |
