TimeToFailureFn - Sigma Knowledge base Browser

antecedent

(=> (and (equal (MeasureFn ?X HourDuration) (MTTFFn ?CLASS)) (instance ?D ?CLASS) (equal (MeasureFn ?Y HourDuration) (TimeToFailureFn ?D)) (inList ?Y ?L)) (equal ?X (AverageFn ?L)))	Mid-level-ontology.kif 34563-34574	If equal X hour duration(s) and The MTTF of Y, Z is an instance of Y, equal W hour duration(s) and The time to failure of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V
(=> (and (equal (MeasureFn ?X HourDuration) (TimeToFailureFn ?D)) (attribute ?D NonRepairable) (deviceFailTime ?D ?F) (deviceUpTime ?D ?U) (earlier ?U ?F)) (duration (TimeIntervalFn (BeginFn ?U) (BeginFn ?F)) (MeasureFn ?X HourDuration)))	Mid-level-ontology.kif 34586-34599	If equal X hour duration(s) and The time to failure of Y is HourDuration, non repairable is an attribute of Y, device Y is in a failure state during TimeInterval Z, Device Y is in operation during TimeInterval W, and W happens earlier than Z, then duration of interval between the beginning of W and the beginning of Z is X hour duration(s)

(instance TimeToFailureFn UnaryFunction)	Mid-level-ontology.kif 34576-34576	Time to failure is an instance of unary function
(documentation TimeToFailureFn EnglishLanguage "TimeToFailureFn denotes the time to failure of a single device, ie an (Instance of ?D Deive) while MTTFFn denotes the mean time to failure of a Class of devices. Note that the argument for TimeToFailureFn is an instance.")	Mid-level-ontology.kif 34577-34579	Time to failure is an instance of unary function
(domain TimeToFailureFn 1 Device)	Mid-level-ontology.kif 34582-34582	The number 1 argument of time to failure is an instance of device
(range TimeToFailureFn TimeMeasure)	Mid-level-ontology.kif 34583-34583	The range of time to failure is an instance of time measure
(relatedInternalConcept TimeToFailureFn MTBFInstanceFn)	Mid-level-ontology.kif 34584-34584	Time to failure is internally related to mean time between failures
(relatedInternalConcept TimeToFailureFn MTTRepairInstanceFn)	Mid-level-ontology.kif 34636-34636	Time to failure is internally related to time to repair
(relatedInternalConcept TimeToFailureFn TimeToRecoveryFn)	Mid-level-ontology.kif 34666-34666	Time to failure is internally related to time to recovery

(format EnglishLanguage TimeToFailureFn "The time to failure of %1 is HourDuration")	Mid-level-ontology.kif 34580-34580
(termFormat EnglishLanguage TimeToFailureFn "time to failure")	Mid-level-ontology.kif 34581-34581