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


KB Term:  Term intersection
English Word: 

  DevicePlannedDownTimeDurationListFn

 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 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