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

KB Term:  Term intersection
English Word: 

Sigma KEE - DevicePlannedDownTimeDurationListFn
DevicePlannedDownTimeDurationListFn

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


(instance DevicePlannedDownTimeDurationListFn UnaryFunction) Mid-level-ontology.kif 34429-34429 Device up duration list is an instance of unary function
(documentation DevicePlannedDownTimeDurationListFn EnglishLanguage "DevicePlannedDownTimeDurationListFn ?DEVICE) denotes all the devicePlannedDownTime in a List in HourDuration. The list can be used to calculate the Mean time between failure of the device.") Mid-level-ontology.kif 34430-34432 Device up duration list is an instance of unary function
(domain DevicePlannedDownTimeDurationListFn 1 Device) Mid-level-ontology.kif 34435-34435 The number 1 argument of device up duration list is an instance of device
(range DevicePlannedDownTimeDurationListFn MeasuringResultList) Mid-level-ontology.kif 34436-34436 The range of device up duration list is an instance of measuring result list

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


(relatedInternalConcept DeviceUpTimeDurationListFn DevicePlannedDownTimeDurationListFn) Mid-level-ontology.kif 34417-34417 Device up duration list is internally related to device up duration list
(format EnglishLanguage DevicePlannedDownTimeDurationListFn "The List of deviceUpTime duration for %1 is") Mid-level-ontology.kif 34433-34433 Device up duration list is internally related to device up duration list
(termFormat EnglishLanguage DevicePlannedDownTimeDurationListFn "device up duration list") Mid-level-ontology.kif 34434-34434 Device up duration list is internally related to device up duration list
(relatedInternalConcept DeviceFailTimeDurationListFn DevicePlannedDownTimeDurationListFn) Mid-level-ontology.kif 34456-34456 Device up duration list is internally related to device up duration list

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)
        (devicePlannedDownTime ?D ?PLAN)
        (duration ?PLAN
            (MeasureFn ?X HourDuration))
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DevicePlannedDownTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34438-34446 If X is an instance of device, device X is scheduled to be in DeviceOff 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