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


KB Term:  Term intersection
English Word: 

  TimeToRecoveryDurationListFn

 Sigma KEE - TimeToRecoveryDurationListFn
TimeToRecoveryDurationListFn

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


(instance TimeToRecoveryDurationListFn UnaryFunction) Mid-level-ontology.kif 34682-34682 Device time to recovery list is an instance of unary function
(documentation TimeToRecoveryDurationListFn EnglishLanguage "TimeToRecoveryDurationListFn ?DEVICE) denotes all the time to recovery duration in a List in HourDuration. The list can be used to calculate the Mean time to recovery of the device.") Mid-level-ontology.kif 34683-34685 Device time to recovery list is an instance of unary function
(domain TimeToRecoveryDurationListFn 1 Device) Mid-level-ontology.kif 34688-34688 The number 1 argument of device time to recovery list is an instance of device
(range TimeToRecoveryDurationListFn MeasuringResultList) Mid-level-ontology.kif 34689-34689 The range of device time to recovery list is an instance of measuring result list

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


(format EnglishLanguage TimeToRecoveryDurationListFn "The list of time to recovery duration for %1 is") Mid-level-ontology.kif 34686-34686
(termFormat EnglishLanguage TimeToRecoveryDurationListFn "device time to recovery list") Mid-level-ontology.kif 34687-34687
(relatedInternalConcept DeviceFailTimeDurationListFn TimeToRecoveryDurationListFn) Mid-level-ontology.kif 34690-34690 Device up duration list is internally related to device time to recovery list

consequent
-------------------------


(=>
    (and
        (instance ?D Device)
        (inList
            (TimeToRecoveryFn ?D) ?L))
    (equal ?L
        (TimeToRecoveryDurationListFn ?D)))		 Mid-level-ontology.kif 34692-34698 If X is an instance of device and The time to recovery of X is HourDuration is a member of Y, then equal Y and The list of time to recovery duration for X is
(=>
    (equal
        (MeasureFn ?X HourDuration)
        (MTTRecoveryInstanceFn ?D))
    (equal ?X
        (DivisionFn
            (ListSumFn
                (PhysicalQuantityToNumberFn
                    (TimeToRecoveryDurationListFn ?D)))
            (ListLengthFn
                (TimeToRecoveryDurationListFn ?D)))))		 Mid-level-ontology.kif 34737-34747 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 time to recovery duration for Y is, and length of The list of time to recovery 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