Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TimeToRecoveryFn |
| appearance as argument number 1 |
|
| (instance TimeToRecoveryFn UnaryFunction) | Mid-level-ontology.kif 34656-34656 | Time to recovery is an instance of unary function |
| (documentation TimeToRecoveryFn EnglishLanguage "TimeToRecoveryFn denotes the time to recovery of a device for an instance of failure. It is used to calculate the MTTRecoveryInstanceFn for an Instance of Device. To get the mean time to recovery of a Class of the device, one should use the Function (MTTRecoveryFn ?CLASS). Note that the argument for TimeToFailureFn is an instance.") | Mid-level-ontology.kif 34657-34661 | Time to recovery is an instance of unary function |
| (domain TimeToRecoveryFn 1 Device) | Mid-level-ontology.kif 34664-34664 | The number 1 argument of time to recovery is an instance of device |
| (range TimeToRecoveryFn TimeMeasure) | Mid-level-ontology.kif 34665-34665 | The range of time to recovery is an instance of time measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage TimeToRecoveryFn "The time to recovery of %1 is HourDuration") | Mid-level-ontology.kif 34662-34662 | |
| (termFormat EnglishLanguage TimeToRecoveryFn "time to recovery") | Mid-level-ontology.kif 34663-34663 | |
| (relatedInternalConcept TimeToFailureFn TimeToRecoveryFn) | Mid-level-ontology.kif 34666-34666 | Time to failure is internally related to time to recovery |
| antecedent |
|
|
| (=> (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) |
| (=> (and (instance ?D Device) (inList (TimeToRecoveryFn ?D) ?L)) (equal ?L (TimeToRecoveryDurationListFn ?D))) |
Mid-level-ontology.kif 34692-34698 | If X is an instance of device and The time to recovery of X is HourDuration is a member of Y, then equal Y and The list of time to recovery duration for X is |
|