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


KB Term:  Term intersection
English Word: 

Sigma KEE - deviceDownTime
deviceDownTime

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


(instance deviceDownTime BinaryPredicate) Mid-level-ontology.kif 34493-34493 device down time is an instance of binary predicate
(documentation deviceDownTime EnglishLanguage "(deviceDownTime ?DEVICE ?TIME) means that ?TIME TimeInterval is when Device is not in operation.") Mid-level-ontology.kif 34494-34495 device down time is an instance of binary predicate
(domain deviceDownTime 1 Device) Mid-level-ontology.kif 34498-34498 The number 1 argument of device down time is an instance of device
(domain deviceDownTime 2 TimeInterval) Mid-level-ontology.kif 34499-34499 The number 2 argument of device down time is an instance of timeframe
(relatedInternalConcept deviceDownTime deviceFailTime) Mid-level-ontology.kif 34500-34500 device down time is internally related to device fail time

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


(relatedInternalConcept deviceUpTime deviceDownTime) Mid-level-ontology.kif 34476-34476 device up time is internally related to device down time
(format EnglishLanguage deviceDownTime "Device %1 is not in operation during TimeInterval %2") Mid-level-ontology.kif 34496-34496 device up time is internally related to device down time
(termFormat EnglishLanguage deviceDownTime "device down time") Mid-level-ontology.kif 34497-34497 device up time is internally related to device down time
(subrelation devicePlannedDownTime deviceDownTime) Mid-level-ontology.kif 34518-34518 device planned down time is a subrelation of device down time
(subrelation deviceFailTime deviceDownTime) Mid-level-ontology.kif 34536-34536 device fail time is a subrelation of device down time

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


(=>
    (and
        (deviceDownTime ?D ?T)
        (instance ?D ?CLASS))
    (and
        (holdsDuring ?T
            (attribute ?D DeviceOff))
        (not
            (exists (?P)
                (and
                    (instance ?P
                        (OperatingFn ?CLASS))
                    (during
                        (WhenFn ?P) ?T)
                    (instrument ?P ?D))))))		 Mid-level-ontology.kif 34502-34516 If Device X is not in operation during TimeInterval Y and X is an instance of Z, then device off is an attribute of X holds during Y and there doesn't exist W such that W is an instance of the operating of Z, the time of existence of W takes place during Y, and X is an instrument for W


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