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


KB Term:  Term intersection
English Word: 

  devicePlannedDownTime

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