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

KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceUpTimeDurationListFn
DeviceUpTimeDurationListFn

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


(instance DeviceUpTimeDurationListFn UnaryFunction) Mid-level-ontology.kif 34409-34409 Device up duration list is an instance of unary function
(documentation DeviceUpTimeDurationListFn EnglishLanguage "DeviceUpTimeDurationListFn ?DEVICE) denotes all the deviceUpTime in a List in HourDuration. The list can be used to calculate the Mean time between failure of the device.") Mid-level-ontology.kif 34410-34412 Device up duration list is an instance of unary function
(domain DeviceUpTimeDurationListFn 1 Device) Mid-level-ontology.kif 34415-34415 The number 1 argument of device up duration list is an instance of device
(range DeviceUpTimeDurationListFn MeasuringResultList) Mid-level-ontology.kif 34416-34416 The range of device up duration list is an instance of measuring result list
(relatedInternalConcept DeviceUpTimeDurationListFn DevicePlannedDownTimeDurationListFn) Mid-level-ontology.kif 34417-34417 Device up duration list is internally related to device up duration list

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


(format EnglishLanguage DeviceUpTimeDurationListFn "The List of deviceUpTime duration for %1 is") Mid-level-ontology.kif 34413-34413
(termFormat EnglishLanguage DeviceUpTimeDurationListFn "device up duration list") Mid-level-ontology.kif 34414-34414

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)
        (deviceUpTime ?D ?UP)
        (duration ?UP
            (MeasureFn ?X HourDuration))
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DeviceUpTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34419-34427 If X is an instance of device, Device X is in operation during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X 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