TreeView Knowledge Base Browser

appearance as argument number 1

(instance MTTRecoveryFn UnaryFunction)	Mid-level-ontology.kif 34700-34700	Mean time to recovery is an instance of unary function
(documentation MTTRecoveryFn EnglishLanguage "(MTTRecoveryFn ?D) denotes the mean time to recovery of the CLASS of Device ?D in HourDuration, either by repairing or replacing the device. Note that the argument for MTTRecoveryFn is a Class of Device.")	Mid-level-ontology.kif 34701-34703	Mean time to recovery is an instance of unary function
(domainSubclass MTTRecoveryFn 1 Device)	Mid-level-ontology.kif 34706-34706	The number 1 argument of mean time to recovery is a subclass of device
(range MTTRecoveryFn TimeMeasure)	Mid-level-ontology.kif 34707-34707	The range of mean time to recovery is an instance of time measure

appearance as argument number 2

(format EnglishLanguage MTTRecoveryFn "The MTTRecoveryFn of %1")	Mid-level-ontology.kif 34704-34704
(termFormat EnglishLanguage MTTRecoveryFn "mean time to recovery")	Mid-level-ontology.kif 34705-34705
(relatedInternalConcept MTTRepairFn MTTRecoveryFn)	Mid-level-ontology.kif 34708-34708	Mean time to repair is internally related to mean time to recovery
(relatedInternalConcept MTBFFn MTTRecoveryFn)	Mid-level-ontology.kif 34709-34709	Mean time between failures is internally related to mean time to recovery

antecedent

(=>
    (and
        (equal
            (MeasureFn ?H HourDuration)
            (MTTRecoveryFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?X HourDuration)
            (MTTRecoveryInstanceFn ?D))
        (inList ?X ?L))
    (equal ?H
        (AverageFn ?L)))

If equal X hour duration(s) and The MTTRecoveryFn of Y, Z is an instance of Y, equal W hour duration(s) and The time to repair of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V