(=>
(and
(equal
(MeasureFn ?H HourDuration)
(MTBFFn ?CLASS))
(instance ?D ?CLASS)
(equal
(MeasureFn ?X HourDuration)
(MTBFInstanceFn ?D))
(inList ?X ?L))
(equal ?H
(AverageFn ?L))) |
Mid-level-ontology.kif 34337-34348 |
If equal X hour duration(s) and The MTBF of Y, Z is an instance of Y, equal W hour duration(s) and The MTBF of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V |
(=>
(and
(equal
(MeasureFn ?X HourDuration)
(MTTFFn ?CLASS))
(instance ?D ?CLASS)
(equal
(MeasureFn ?Y HourDuration)
(TimeToFailureFn ?D))
(inList ?Y ?L))
(equal ?X
(AverageFn ?L))) |
Mid-level-ontology.kif 34563-34574 |
If equal X hour duration(s) and The MTTF of Y, Z is an instance of Y, equal W hour duration(s) and The time to failure of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V |
(=>
(and
(equal
(MeasureFn ?H HourDuration)
(MTTRepairFn ?CLASS))
(instance ?D ?CLASS)
(equal
(MeasureFn ?X HourDuration)
(MTTRepairInstanceFn ?D))
(inList ?X ?L))
(equal ?H
(AverageFn ?L))) |
Mid-level-ontology.kif 34613-34624 |
If equal X hour duration(s) and The MTTRepairFn of Y, Z is an instance of Y, equal W hour duration(s) and The time to repair of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V |
(=>
(and
(equal
(MeasureFn ?H HourDuration)
(MTTRecoveryFn ?CLASS))
(instance ?D ?CLASS)
(equal
(MeasureFn ?X HourDuration)
(MTTRecoveryInstanceFn ?D))
(inList ?X ?L))
(equal ?H
(AverageFn ?L))) |
Mid-level-ontology.kif 34711-34722 |
If equal X hour duration(s) and The MTTRecoveryFn of Y, Z is an instance of Y, equal W hour duration(s) and The time to repair of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V |
(=>
(and
(equal ?MEAN
(ThreeMonthsRunningMeanSSTFn ?W ?M ?Y))
(equal ?T
(MeanMonthSSTFn ?W ?M ?Y))
(previousMonthYear ?M1 ?Y1 ?M ?Y)
(equal ?T1
(MeanMonthSSTFn ?W ?M1 ?Y1))
(previousMonthYear ?M2 ?Y2 ?M1 ?Y1)
(equal ?T2
(MeanMonthSSTFn ?W ?M2 ?Y2)))
(exists (?N ?U)
(and
(equal ?N
(AverageFn
(PhysicalQuantityToNumberFn
(ListFn ?T2 ?T1 ?T))))
(instance ?U UnitOfTemperature)
(equal ?MEAN
(MeasureFn ?N ?U))))) |
Weather.kif 789-807 |
If All of the following hold: (1) equal X and ThreeMonthsRunningMeanSSTFn for month Y year Z in region W (2) equal V and MeanMonthSSTFn for Y in region W (3) the previous month of Y in year Z is U T (4) equal S and MeanMonthSSTFn for U in region W (5) the previous month of U in year T is R Q (6) equal P and MeanMonthSSTFn for R in region W, then there exist O and N such that equal O and the average of the numbers in PhysicalQuantityToNumberFn returns the numberic values of a list of (P, S, and V) and N is an instance of unit of temperature and equal X and O N(s) |
(=>
(and
(equal ?TEMP
(ThirtyYearAverageSSTForMonthFn ?W ?M ?Y))
(instance ?Y
(YearFn ?I))
(equal ?YEAR
(SubtractionFn ?I ?N))
(greaterThanOrEqualTo ?N 0)
(lessThan ?N 30)
(instance ?U UnitOfTemperature)
(equal
(MeasureFn ?X ?U)
(MeanMonthSSTFn ?W ?M
(YearFn ?YEAR)))
(inList ?X ?L))
(equal ?TEMP
(MeasureFn
(AverageFn ?L) ?U))) |
Weather.kif 822-839 |
If All of the following hold: (1) equal X and ThirtyYearAverageSSTForMonthFn for month Y in year Z of region W (2) Z is an instance of the year V (3) equal U and (V and T) (4) T is greater than or equal to 0 (5) T is less than 30 (6) S is an instance of unit of temperature (7) equal R S(s) and MeanMonthSSTFn for Y in region W (8) R is a member of Q, then equal X and the average of the numbers in Q S(s) |
(=>
(equal ?SPEED
(Mean3SecondWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 0.25 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 3 SecondDuration))
(equal 12
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 3171-3188 |
If equal X and Mean3SecondWindSpeedFn for Y in region Z, then there exist W, V,, , U and T such that W is an instance of measuring surface wind speed list and The eventLocated for W is Z and measuring list interval W and 0.25 second duration(s) and The Measuring for list W takes 3 second duration(s). and equal 12 and length of W and V is the result of W and equal U and PhysicalQuantityToNumberFn returns the numberic values of a list of V and equal X and the average of the numbers in U T(s) holds during Y |
(=>
(equal ?SPEED
(Mean10MinutesWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 10 MinuteDuration))
(equal 120
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 3490-3507 |
If equal X and Mean10MinutesWindSpeedFn for Y in region Z, then there exist W, V,, , U and T such that W is an instance of measuring surface wind speed list and The eventLocated for W is Z and measuring list interval W and 5 second duration(s) and The Measuring for list W takes 10 minute duration(s). and equal 120 and length of W and V is the result of W and equal U and PhysicalQuantityToNumberFn returns the numberic values of a list of V and equal X and the average of the numbers in U T(s) holds during Y |
(=>
(equal ?SPEED
(Mean3MinutesWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 2 MinuteDuration))
(equal 36
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 3525-3542 |
If equal X and Mean3MinutesWindSpeedFn for Y in region Z, then there exist W, V,, , U and T such that W is an instance of measuring surface wind speed list and The eventLocated for W is Z and measuring list interval W and 5 second duration(s) and The Measuring for list W takes 2 minute duration(s). and equal 36 and length of W and V is the result of W and equal U and PhysicalQuantityToNumberFn returns the numberic values of a list of V and equal X and the average of the numbers in U T(s) holds during Y |
(=>
(equal ?SPEED
(Mean2MinutesWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 2 MinuteDuration))
(equal 24
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 3560-3577 |
If equal X and Mean2MinutesWindSpeedFn for Y in region Z, then there exist W, V,, , U and T such that W is an instance of measuring surface wind speed list and The eventLocated for W is Z and measuring list interval W and 5 second duration(s) and The Measuring for list W takes 2 minute duration(s). and equal 24 and length of W and V is the result of W and equal U and PhysicalQuantityToNumberFn returns the numberic values of a list of V and equal X and the average of the numbers in U T(s) holds during Y |
(=>
(equal ?SPEED
(Mean1MinuteWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 1 MinuteDuration))
(equal 12
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 3595-3612 |
If equal X and Mean1MinuteWindSpeedFn for Y in region Z, then there exist W, V,, , U and T such that W is an instance of measuring surface wind speed list and The eventLocated for W is Z and measuring list interval W and 5 second duration(s) and The Measuring for list W takes 1 minute duration(s). and equal 12 and length of W and V is the result of W and equal U and PhysicalQuantityToNumberFn returns the numberic values of a list of V and equal X and the average of the numbers in U T(s) holds during Y |
