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


KB Term:  Term intersection
English Word: 

  MTTRecoveryInstanceFn

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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