Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MTTRecoveryInstanceFn
MTTRecoveryInstanceFn

appearance as argument number 1
-------------------------


(instance MTTRecoveryInstanceFn UnaryFunction) Mid-level-ontology.kif 34724-34724 Time to repair is an instance of unary function
(documentation MTTRecoveryInstanceFn EnglishLanguage "MTTRecoveryInstanceFn denotes the time to recovery of a single device, ie an (Instance of ?D Deive) while MTTRecoveryFn denotes the mean time to recovery of a Class of devices. Mean time to recovery is the average time that a device will take to recover from any failure. Expressed mathematically, it is the total time between a failure and its next deviceUpTime divided by the total number of recoveries from failures during a given period of time. [Wikipedia] Note that the argument for MTTRepairInstanceFn is an instance.") Mid-level-ontology.kif 34725-34730 Time to repair is an instance of unary function
(domain MTTRecoveryInstanceFn 1 Device) Mid-level-ontology.kif 34733-34733 The number 1 argument of time to repair is an instance of device
(range MTTRecoveryInstanceFn TimeMeasure) Mid-level-ontology.kif 34734-34734 The range of time to repair is an instance of time measure
(relatedInternalConcept MTTRecoveryInstanceFn MTTRepairInstanceFn) Mid-level-ontology.kif 34735-34735 Time to repair is internally related to time to repair

appearance as argument number 2
-------------------------


(format EnglishLanguage MTTRecoveryInstanceFn "The time to repair of %1 is HourDuration") Mid-level-ontology.kif 34731-34731
(termFormat EnglishLanguage MTTRecoveryInstanceFn "time to repair") Mid-level-ontology.kif 34732-34732

antecedent
-------------------------


(=>
    (and
        (equal
            (MeasureFn ?H HourDuration)
            (MTTRecoveryFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?X HourDuration)
            (MTTRecoveryInstanceFn ?D))
        (inList ?X ?L))
    (equal ?H
        (AverageFn ?L)))		 Mid-level-ontology.kif 34711-34722 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
(=>
    (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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners