Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TimeToRecoveryDurationListFn |
| appearance as argument number 1 |
|
| (instance TimeToRecoveryDurationListFn UnaryFunction) | Mid-level-ontology.kif 34682-34682 | Device time to recovery list is an instance of unary function |
| (documentation TimeToRecoveryDurationListFn EnglishLanguage "TimeToRecoveryDurationListFn ?DEVICE) denotes all the time to recovery duration in a List in HourDuration. The list can be used to calculate the Mean time to recovery of the device.") | Mid-level-ontology.kif 34683-34685 | Device time to recovery list is an instance of unary function |
| (domain TimeToRecoveryDurationListFn 1 Device) | Mid-level-ontology.kif 34688-34688 | The number 1 argument of device time to recovery list is an instance of device |
| (range TimeToRecoveryDurationListFn MeasuringResultList) | Mid-level-ontology.kif 34689-34689 | The range of device time to recovery list is an instance of measuring result list |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage TimeToRecoveryDurationListFn "The list of time to recovery duration for %1 is") | Mid-level-ontology.kif 34686-34686 | |
| (termFormat EnglishLanguage TimeToRecoveryDurationListFn "device time to recovery list") | Mid-level-ontology.kif 34687-34687 | |
| (relatedInternalConcept DeviceFailTimeDurationListFn TimeToRecoveryDurationListFn) | Mid-level-ontology.kif 34690-34690 | Device up duration list is internally related to device time to recovery list |
| consequent |
|
|
| (=> (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 |
| (=> (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 |
|