Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TurningOnDevice
TurningOnDevice(turning on device)
more pictures...
come_on, come_up, go_on, turning_on_device

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


(documentation TurningOnDevice EnglishLanguage "Any Process whose result is that the patient of the process is in the state of DeviceOn. In other words, this class covers any process of turning on a device, e.g. turning on the lights, switching on a television set, etc.") Mid-level-ontology.kif 1474-1477
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Morethantwowayswitching.PNG") pictureList.kif 10335-10335 "http://upload.wikimedia.org/wikipedia/commons/0/00/ Morethantwowayswitching.PNG" is a URL depicting turning on device
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Switches-electrical.agr.jpg") pictureList.kif 12112-12112 "http://upload.wikimedia.org/wikipedia/commons/3/3a/ Switches-electrical.agr.jpg" is a URL depicting turning on device
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ Knobs-for-climate-control.jpg") pictureList.kif 12116-12116 "http://upload.wikimedia.org/wikipedia/commons/6/62/ Knobs-for-climate-control.jpg" is a URL depicting turning on device
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 8/ 87/ LaserJet_4_Control_Panel.jpg") pictureList.kif 12115-12115 "http://upload.wikimedia.org/wikipedia/commons/8/87/ LaserJet_4_Control_Panel.jpg" is a URL depicting turning on device
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Jtecul.jpg") pictureList.kif 12114-12114 "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Jtecul.jpg" is a URL depicting turning on device
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/en/ 8/ 80/ On-Off_Switch.jpg") pictureList.kif 12113-12113 "http://upload.wikimedia.org/wikipedia/en/8/80/On-Off_Switch.jpg" is a URL depicting turning on device
(subclass TurningOnDevice InternalChange) Mid-level-ontology.kif 1473-1473 Turning on device is a subclass of internal change

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


(termFormat EnglishLanguage TurningOnDevice "turning on device") domainEnglishFormat.kif 10362-10362 "turning on device" is the printable form of turning on device in english language

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


(=>
    (and
        (instance ?P TurningOnDevice)
        (patient ?P ?D))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?P))
            (attribute ?D DeviceOff))
        (holdsDuring
            (EndFn
                (WhenFn ?P))
            (attribute ?D DeviceOn))))
Mid-level-ontology.kif 1479-1489
(=>
    (and
        (instance ?P TurningOnDevice)
        (patient ?P ?D))
    (instance ?D Device))
Mid-level-ontology.kif 1491-1495


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners