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

KB Term:  Term intersection
English Word: 

Sigma KEE - MTBFFn
MTBFFn

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


(instance MTBFFn UnaryFunction) Mid-level-ontology.kif 34323-34323 Mean time between failures is an instance of unary function
(documentation MTBFFn EnglishLanguage "(MTBFFn ?D) denotes the mean time between failures of the CLASS of Device ?D in HourDuration. Mean time between failures (MTBF) is often used to predict the likely working time of a mechanical or electronic system during normal system operation. It can be calculated as the arithmetic mean (average) between failures of a system. MTBF = Total Operating Time / Number of Failures. The term is used for Repairable systems while meanTimeToFailure (MTTF) denotes the time to failure for a non-repairable system. [Wikipedia] Note that the argument for MTBFFn is a Class of Device.") Mid-level-ontology.kif 34324-34330 Mean time between failures is an instance of unary function
(domainSubclass MTBFFn 1 Device) Mid-level-ontology.kif 34333-34333 The number 1 argument of mean time between failures is a subclass of device
(range MTBFFn HourDuration) Mid-level-ontology.kif 34334-34334 The range of mean time between failures is an instance of hour duration
(relatedInternalConcept MTBFFn MTBFInstanceFn) Mid-level-ontology.kif 34335-34335 Mean time between failures is internally related to mean time between failures
(relatedInternalConcept MTBFFn MTTFFn) Mid-level-ontology.kif 34560-34560 Mean time between failures is internally related to mean time to failures
(relatedInternalConcept MTBFFn MTTRepairFn) Mid-level-ontology.kif 34611-34611 Mean time between failures is internally related to mean time to repair
(relatedInternalConcept MTBFFn MTTRecoveryFn) Mid-level-ontology.kif 34709-34709 Mean time between failures is internally related to mean time to recovery

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


(format EnglishLanguage MTBFFn "The MTBF of %1") Mid-level-ontology.kif 34331-34331
(termFormat EnglishLanguage MTBFFn "mean time between failures") Mid-level-ontology.kif 34332-34332

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


(=>
    (and
        (equal
            (MeasureFn ?H HourDuration)
            (MTBFFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?X HourDuration)
            (MTBFInstanceFn ?D))
        (inList ?X ?L))
    (equal ?H
        (AverageFn ?L)))		 Mid-level-ontology.kif 34337-34348 If equal X hour duration(s) and The MTBF of Y, Z is an instance of Y, equal W hour duration(s) and The MTBF of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V


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