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


KB Term:  Term intersection
English Word: 

  MTBFInstanceFn

 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 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