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


KB Term:  Term intersection
English Word: 

Sigma KEE - TurningOffDevice
TurningOffDevice(turning off device)

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


(subclass TurningOffDevice InternalChange) Mid-level-ontology.kif 1055-1055 Turning off device is a subclass of internal change
(documentation TurningOffDevice EnglishLanguage "Any Process whose result is that the patient of the process is in the state of DeviceOff. In other words, this class covers any process of turning off a device, e.g. turning off the lights, switching off a television set, etc.") Mid-level-ontology.kif 1056-1059 Turning off device is a subclass of internal change
(externalImage TurningOffDevice "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Google_toilet_control.jpg") pictureList.kif 10311-10311 Turning off device is a subclass of internal change
(externalImage TurningOffDevice "http://upload.wikimedia.org/wikipedia/commons/ d/ dc/ HST_centraldoorlocking_controlpanel-01.jpg") pictureList.kif 12072-12072 Turning off device is a subclass of internal change
(externalImage TurningOffDevice "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Dover_elevator_passenger_controls_%283_floors%29.jpg") pictureList.kif 12073-12073 Turning off device is a subclass of internal change

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


(termFormat EnglishLanguage TurningOffDevice "turning off device") domainEnglishFormat.kif 59593-59593
(termFormat ChineseTraditionalLanguage TurningOffDevice "關掉設備") domainEnglishFormat.kif 59594-59594
(termFormat ChineseLanguage TurningOffDevice "关掉设备") domainEnglishFormat.kif 59595-59595

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


(=>
    (and
        (instance ?P TurningOffDevice)
        (patient ?P ?D))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?P))
            (attribute ?D DeviceOn))
        (holdsDuring
            (EndFn
                (WhenFn ?P))
            (attribute ?D DeviceOff))))		 Mid-level-ontology.kif 1061-1071 If X is an instance of turning off device and Y is a patient of X, then device on is an attribute of Y holds during the beginning of the time of existence of X and device off is an attribute of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?P TurningOffDevice)
        (patient ?P ?D))
    (instance ?D Device))		 Mid-level-ontology.kif 1073-1077 If X is an instance of turning off device and Y is a patient of X, then Y is an instance of device


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