TreeView Knowledge Base Browser

appearance as argument number 1

(relatedInternalConcept MTTRepairFn MTTFFn)	Mid-level-ontology.kif 34561-34561	Mean time to repair is internally related to mean time to failures
(instance MTTRepairFn UnaryFunction)	Mid-level-ontology.kif 34601-34601	Mean time to repair is an instance of unary function
(documentation MTTRepairFn EnglishLanguage "(MTTRepairFn ?D) denotes the mean time to repair of the CLASS of Device ?D in HourDuration. Mean time to repair (MTTR) is a basic measure of the maintainability of repairable items. It represents the average time required to repair a failed component or device.[Wikipedia]Note that the argument for MTTRepairFn is a Class of Device.")	Mid-level-ontology.kif 34602-34605	Mean time to repair is an instance of unary function
(domainSubclass MTTRepairFn 1 Device)	Mid-level-ontology.kif 34608-34608	The number 1 argument of mean time to repair is a subclass of device
(range MTTRepairFn TimeMeasure)	Mid-level-ontology.kif 34609-34609	The range of mean time to repair is an instance of time measure
(relatedInternalConcept MTTRepairFn MTTRepairInstanceFn)	Mid-level-ontology.kif 34610-34610	Mean time to repair is internally related to time to repair
(relatedInternalConcept MTTRepairFn MTTRecoveryFn)	Mid-level-ontology.kif 34708-34708	Mean time to repair is internally related to mean time to recovery

appearance as argument number 2

(format EnglishLanguage MTTRepairFn "The MTTRepairFn of %1")	Mid-level-ontology.kif 34606-34606
(termFormat EnglishLanguage MTTRepairFn "mean time to repair")	Mid-level-ontology.kif 34607-34607
(relatedInternalConcept MTBFFn MTTRepairFn)	Mid-level-ontology.kif 34611-34611	Mean time between failures is internally related to mean time to repair

antecedent

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

If equal X hour duration(s) and The MTTRepairFn 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