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

KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceFailTimeDurationListFn
DeviceFailTimeDurationListFn

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


(instance DeviceFailTimeDurationListFn UnaryFunction) Mid-level-ontology.kif 34448-34448 Device up duration list is an instance of unary function
(documentation DeviceFailTimeDurationListFn EnglishLanguage "DeviceFailTimeDurationListFn ?DEVICE) denotes all the deviceFailTime in a List in HourDuration. The list can be used to calculate the Mean time between failure of the device.") Mid-level-ontology.kif 34449-34451 Device up duration list is an instance of unary function
(domain DeviceFailTimeDurationListFn 1 Device) Mid-level-ontology.kif 34454-34454 The number 1 argument of device up duration list is an instance of device
(range DeviceFailTimeDurationListFn MeasuringResultList) Mid-level-ontology.kif 34455-34455 The range of device up duration list is an instance of measuring result list
(relatedInternalConcept DeviceFailTimeDurationListFn DevicePlannedDownTimeDurationListFn) Mid-level-ontology.kif 34456-34456 Device up duration list is internally related to device up duration list
(relatedInternalConcept DeviceFailTimeDurationListFn TimeToRecoveryDurationListFn) Mid-level-ontology.kif 34690-34690 Device up duration list is internally related to device time to recovery list

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


(format EnglishLanguage DeviceFailTimeDurationListFn "The List of deviceFailTime duration for %1 is") Mid-level-ontology.kif 34452-34452
(termFormat EnglishLanguage DeviceFailTimeDurationListFn "device up duration list") Mid-level-ontology.kif 34453-34453

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


(=>
    (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
(=>
    (and
        (instance ?D Device)
        (deviceFailTime ?D ?FAIL)
        (duration ?FAIL
            (MeasureFn ?X HourDuration))
        (attribute ?D Repairable)
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DeviceFailTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34458-34467 If X is an instance of device, device X is in a failure state during TimeInterval Y, duration of Y is Z hour duration(s), repairable is an attribute of X, and Z hour duration(s) is a member of W, then equal W and The List of deviceFailTime duration for X is
(=>
    (equal
        (MeasureFn ?X HourDuration)
        (MTTRepairInstanceFn ?D))
    (equal ?X
        (DivisionFn
            (ListSumFn
                (PhysicalQuantityToNumberFn
                    (DeviceFailTimeDurationListFn ?D)))
            (ListLengthFn
                (DeviceFailTimeDurationListFn ?D)))))		 Mid-level-ontology.kif 34644-34654 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 deviceFailTime 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