(=>
(and
(instance ?D Device)
(deviceFailTime ?D ?FAIL)
(duration ?FAIL
(MeasureFn ?X HourDuration))
(attribute ?D Repairable)
(inList
(MeasureFn ?X HourDuration) ?L))
(equal ?L
(DeviceFailTimeDurationListFn ?D))) |
Mid-level-ontology.kif 34458-34467 |
If X is an instance of device, device X is in a failure state during TimeInterval Y, duration of Y is Z hour duration(s), repairable is an attribute of X, and Z hour duration(s) is a member of W, then equal W and The List of deviceFailTime duration for X is |
(=>
(deviceFailTime ?D ?F)
(holdsDuring ?F
(attribute ?D DeviceDamaged))) |
Mid-level-ontology.kif 34544-34547 |
If device X is in a failure state during TimeInterval Y, then device damaged is an attribute of X holds during Y |
(=>
(and
(equal
(MeasureFn ?X HourDuration)
(TimeToFailureFn ?D))
(attribute ?D NonRepairable)
(deviceFailTime ?D ?F)
(deviceUpTime ?D ?U)
(earlier ?U ?F))
(duration
(TimeIntervalFn
(BeginFn ?U)
(BeginFn ?F))
(MeasureFn ?X HourDuration))) |
Mid-level-ontology.kif 34586-34599 |
If equal X hour duration(s) and The time to failure of Y is HourDuration, non repairable is an attribute of Y, device Y is in a failure state during TimeInterval Z, Device Y is in operation during TimeInterval W, and W happens earlier than Z, then duration of interval between the beginning of W and the beginning of Z is X hour duration(s) |
(=>
(and
(equal
(MeasureFn ?X HourDuration)
(TimeToRecoveryFn ?D))
(deviceFailTime ?D ?F)
(deviceUpTime ?D ?U)
(earlier ?F ?U))
(duration
(TimeIntervalFn
(BeginFn ?F)
(BeginFn ?U))
(MeasureFn ?X HourDuration))) |
Mid-level-ontology.kif 34668-34680 |
If equal X hour duration(s) and The time to recovery of Y is HourDuration, device Y is in a failure state during TimeInterval Z, Device Y is in operation during TimeInterval W, and Z happens earlier than W, then duration of interval between the beginning of Z and the beginning of W is X hour duration(s) |
