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


KB Term:  Term intersection
English Word: 

Sigma KEE - devicePlannedDownTime
devicePlannedDownTime

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


(subrelation devicePlannedDownTime deviceDownTime) Mid-level-ontology.kif 34518-34518 device planned down time is a subrelation of device down time
(instance devicePlannedDownTime BinaryPredicate) Mid-level-ontology.kif 34519-34519 device planned down time is an instance of binary predicate
(documentation devicePlannedDownTime EnglishLanguage "(devicePlannedDownTime ?DEVICE ?TIME) means that the ?TIME TimeInterval is when Device is in a DeviceOff state but is not DeviceDamaged state.") Mid-level-ontology.kif 34520-34521 device planned down time is an instance of binary predicate
(domain devicePlannedDownTime 1 Device) Mid-level-ontology.kif 34524-34524 The number 1 argument of device planned down time is an instance of device
(domain devicePlannedDownTime 2 TimeInterval) Mid-level-ontology.kif 34525-34525 The number 2 argument of device planned down time is an instance of timeframe
(disjointRelation devicePlannedDownTime deviceFailTime) Mid-level-ontology.kif 34526-34526 device planned down time and device fail time are disjoint

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


(format EnglishLanguage devicePlannedDownTime "device %1 is scheduled to be in DeviceOff during TimeInterval %2") Mid-level-ontology.kif 34522-34522
(termFormat EnglishLanguage devicePlannedDownTime "device planned down time") Mid-level-ontology.kif 34523-34523

antecedent
-------------------------


(=>
    (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
(=>
    (devicePlannedDownTime ?D ?T)
    (holdsDuring ?T
        (and
            (attribute ?D DeviceOff)
            (not
                (attribute ?D DeviceDamaged)))))		 Mid-level-ontology.kif 34528-34534 If device X is scheduled to be in DeviceOff during TimeInterval Y, then device off is an attribute of X and device damaged is not an attribute of X holds during Y


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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners