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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TurningOnDevice

Sigma KEE - TurningOnDevice
TurningOnDevice
more pictures...

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 1047-1050
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Morethantwowayswitching.PNG") pictureList.kif 10324-10324
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Switches-electrical.agr.jpg") pictureList.kif 12101-12101
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ Knobs-for-climate-control.jpg") pictureList.kif 12105-12105
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 8/ 87/ LaserJet_4_Control_Panel.jpg") pictureList.kif 12104-12104
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Jtecul.jpg") pictureList.kif 12103-12103
(externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/en/ 8/ 80/ On-Off_Switch.jpg") pictureList.kif 12102-12102
(subclass TurningOnDevice InternalChange) Mid-level-ontology.kif 1046-1046

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


(termFormat ChineseLanguage TurningOnDevice "打开设备") domainEnglishFormat.kif 59591-59591
(termFormat ChineseTraditionalLanguage TurningOnDevice "打開設備") domainEnglishFormat.kif 59590-59590
(termFormat EnglishLanguage TurningOnDevice "turning on device") domainEnglishFormat.kif 59589-59589

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 1052-1062
(=>
    (and
        (instance ?P TurningOnDevice)
        (patient ?P ?D))
    (instance ?D Device))
Mid-level-ontology.kif 1064-1068


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