(=>
(equal
(MeasureFn ?H HourDuration)
(MTBFInstanceFn ?D))
(equal ?H
(DivisionFn
(AdditionFn
(ListSumFn
(PhysicalQuantityToNumberFn
(DeviceUpTimeDurationListFn ?D)))
(ListSumFn
(PhysicalQuantityToNumberFn
(DevicePlannedDownTimeDurationListFn ?D))))
(ListLengthFn
(DeviceFailTimeDurationListFn ?D))))) |
Mid-level-ontology.kif 34359-34373 |
If equal X hour duration(s) and The MTBF of Y is HourDuration, then equal X and (the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceUpTime duration for Y is and the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceUpTime duration for Y is) and length of The List of deviceFailTime duration for Y is |
(=>
(equal
(MeasureFn ?X HourDuration)
(MTTRepairInstanceFn ?D))
(equal ?X
(DivisionFn
(ListSumFn
(PhysicalQuantityToNumberFn
(DeviceFailTimeDurationListFn ?D)))
(ListLengthFn
(DeviceFailTimeDurationListFn ?D))))) |
Mid-level-ontology.kif 34644-34654 |
If equal X hour duration(s) and The time to repair of Y is HourDuration, then equal X, the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceFailTime duration for Y is, and length of The List of deviceFailTime duration for Y is |
(=>
(equal
(MeasureFn ?X HourDuration)
(MTTRecoveryInstanceFn ?D))
(equal ?X
(DivisionFn
(ListSumFn
(PhysicalQuantityToNumberFn
(TimeToRecoveryDurationListFn ?D)))
(ListLengthFn
(TimeToRecoveryDurationListFn ?D))))) |
Mid-level-ontology.kif 34737-34747 |
If equal X hour duration(s) and The time to repair of Y is HourDuration, then equal X, the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The list of time to recovery duration for Y is, and length of The list of time to recovery duration for Y is |
(=>
(equal
(MeanMonthSSTFn ?W ?M ?Y)
(MeasureFn
(AverageFn ?LIST) ?U))
(equal ?LIST
(PhysicalQuantityToNumberFn
(DailyTempListFn ?W ?M ?Y)))) |
Weather.kif 624-629 |
If equal MeanMonthSSTFn for X in region Y and the average of the numbers in Z W(s), then equal Z and PhysicalQuantityToNumberFn returns the numberic values of a list of The List of daily temperature for month X in year V for GeographicArea Y |
(=>
(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) |
(=>
(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
(ThreeSecondGustSpeedFn ?PLACE ?TIME))
(exists (?SPEEDLIST ?NLIST ?UNIT)
(and
(equal ?SPEEDLIST
(Mean3SecondWindSpeedListFn ?PLACE ?TIME))
(equal ?NLIST
(PhysicalQuantityToNumberFn ?SPEEDLIST))
(equal ?SPEED
(MeasureFn
(MaxValueFn ?NLIST) ?UNIT))))) |
Weather.kif 3305-3315 |
If equal X and ThreeSecondSpeedGustFn ending at Y in Z, then there exist W, V and U such that equal W and Mean3SecondWindSpeedListFn ending at Y in region Z and equal V and PhysicalQuantityToNumberFn returns the numberic values of a list of W and equal X and The maximum value of the V U(s) |
(=>
(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 |
