(=>
(and
(instance ?D Device)
(deviceUpTime ?D ?UP)
(duration ?UP
(MeasureFn ?X HourDuration))
(inList
(MeasureFn ?X HourDuration) ?L))
(equal ?L
(DeviceUpTimeDurationListFn ?D))) |
Mid-level-ontology.kif 34419-34427 |
If X is an instance of device, Device X is in operation during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is |
(=>
(and
(deviceUpTime ?D ?T)
(instance ?D ?CLASS))
(exists (?P)
(and
(instance ?P
(OperatingFn ?CLASS))
(equal ?T
(WhenFn ?P))
(holdsDuring ?T
(attribute ?D DeviceOn))
(instrument ?P ?D)))) |
Mid-level-ontology.kif 34479-34491 |
If Device X is in operation during TimeInterval Y and X is an instance of Z, then there exists W such that W is an instance of the operating of Z, equal Y, the time of existence of W, device on is an attribute of X holds during Y, and X is an instrument for W |
(=>
(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) |
