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

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 1083-1086
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Morethantwowayswitching.PNG") pictureList.kif 10312-10312
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Switches_electrical.agr.jpg") pictureList.kif 12074-12074
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ Knobs_for_climate_control.jpg") pictureList.kif 12078-12078
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 8/ 87/ LaserJet_4_Control_Panel.jpg") pictureList.kif 12077-12077
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Jtecul.jpg") pictureList.kif 12076-12076
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/en/ 8/ 80/ On_Off_Switch.jpg") pictureList.kif 12075-12075
(subclass TurningOnDevice InternalChange) Mid-level-ontology.kif 1082-1082 Turning on device is a subclass of internal change

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


(termFormat ChineseLanguage TurningOnDevice "打开设备") domainEnglishFormat.kif 59608-59608
(termFormat ChineseTraditionalLanguage TurningOnDevice "打開設備") domainEnglishFormat.kif 59607-59607
(termFormat EnglishLanguage TurningOnDevice "turning on device") domainEnglishFormat.kif 59606-59606

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 1088-1098
(=>
    (and
        (instance ?P TurningOnDevice)
        (patient ?P ?D))
    (instance ?D Device))
Mid-level-ontology.kif 1100-1104


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 is open source software produced by Articulate Software and its partners