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

KB Term:  Term intersection
English Word: 

Sigma KEE - MTTRepairInstanceFn
MTTRepairInstanceFn

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


(instance MTTRepairInstanceFn UnaryFunction) Mid-level-ontology.kif 34626-34626 Time to repair is an instance of unary function
(documentation MTTRepairInstanceFn EnglishLanguage "MTTRepairInstanceFn denotes the time to repair of a single device, ie an (Instance of ?D Deive) while MTTRepairFn denotes the mean time to repair of a Class of devices. Expressed mathematically, it is the total corrective maintenance time for failures divided by the total number of corrective maintenance actions for failures during a given period of time. [wikipedia] Note that the argument for MTTRepairInstanceFn is an instance.") Mid-level-ontology.kif 34627-34631 Time to repair is an instance of unary function
(domain MTTRepairInstanceFn 1 Device) Mid-level-ontology.kif 34634-34634 The number 1 argument of time to repair is an instance of device
(range MTTRepairInstanceFn TimeMeasure) Mid-level-ontology.kif 34635-34635 The range of time to repair is an instance of time measure

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


(relatedInternalConcept MTTRepairFn MTTRepairInstanceFn) Mid-level-ontology.kif 34610-34610 Mean time to repair is internally related to time to repair
(format EnglishLanguage MTTRepairInstanceFn "The time to repair of %1 is HourDuration") Mid-level-ontology.kif 34632-34632 Mean time to repair is internally related to time to repair
(termFormat EnglishLanguage MTTRepairInstanceFn "time to repair") Mid-level-ontology.kif 34633-34633 Mean time to repair is internally related to time to repair
(relatedInternalConcept TimeToFailureFn MTTRepairInstanceFn) Mid-level-ontology.kif 34636-34636 Time to failure is internally related to time to repair
(relatedInternalConcept MTTRecoveryInstanceFn MTTRepairInstanceFn) Mid-level-ontology.kif 34735-34735 Time to repair is internally related to 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)))		 Mid-level-ontology.kif 34613-34624 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
(=>
    (equal
        (MeasureFn ?X HourDuration)
        (MTTRepairInstanceFn ?D))
    (attribute ?D Repairable))		 Mid-level-ontology.kif 34638-34642 If equal X hour duration(s) and The time to repair of Y is HourDuration, then repairable is an attribute of Y
(=>
    (equal
        (MeasureFn ?X HourDuration)
        (MTTRepairInstanceFn ?D))
    (equal ?X
        (DivisionFn
            (ListSumFn
                (PhysicalQuantityToNumberFn
                    (DeviceFailTimeDurationListFn ?D)))
            (ListLengthFn
                (DeviceFailTimeDurationListFn ?D)))))		 Mid-level-ontology.kif 34644-34654 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 deviceFailTime duration for Y is, and length of The List of deviceFailTime 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