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

KB Term:  Term intersection
English Word: 

Sigma KEE - MTBFInstanceFn
MTBFInstanceFn

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


(instance MTBFInstanceFn UnaryFunction) Mid-level-ontology.kif 34350-34350 Mean time between failures is an instance of unary function
(documentation MTBFInstanceFn EnglishLanguage "MTBFInstanceFn denotes the mean time between Failure of a single device, ie an (Instance of ?D Deive) while MTBFFn denotes the MTBF of a Class of devices. Note that the argument for MTBFInstanceFn is an instance.") Mid-level-ontology.kif 34351-34353 Mean time between failures is an instance of unary function
(domain MTBFInstanceFn 1 Device) Mid-level-ontology.kif 34356-34356 The number 1 argument of mean time between failures is an instance of device
(range MTBFInstanceFn TimeDuration) Mid-level-ontology.kif 34357-34357 The range of mean time between failures is an instance of time duration

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


(relatedInternalConcept MTBFFn MTBFInstanceFn) Mid-level-ontology.kif 34335-34335 Mean time between failures is internally related to mean time between failures
(format EnglishLanguage MTBFInstanceFn "The MTBF of %1 is HourDuration") Mid-level-ontology.kif 34354-34354 Mean time between failures is internally related to mean time between failures
(termFormat EnglishLanguage MTBFInstanceFn "mean time between failures") Mid-level-ontology.kif 34355-34355 Mean time between failures is internally related to mean time between failures
(relatedInternalConcept TimeToFailureFn MTBFInstanceFn) Mid-level-ontology.kif 34584-34584 Time to failure is internally related to mean time between failures

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
(=>
    (equal
        (MeasureFn ?H HourDuration)
        (MTBFInstanceFn ?D))
    (equal ?H
        (DivisionFn
            (AdditionFn
                (ListSumFn
                    (PhysicalQuantityToNumberFn
                        (DeviceUpTimeDurationListFn ?D)))
                (ListSumFn
                    (PhysicalQuantityToNumberFn
                        (DevicePlannedDownTimeDurationListFn ?D))))
            (ListLengthFn
                (DeviceFailTimeDurationListFn ?D)))))		 Mid-level-ontology.kif 34359-34373 If equal X hour duration(s) and The MTBF of Y is HourDuration, then equal X and (the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceUpTime duration for Y is and the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceUpTime 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