more pictures...
| 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 10313-10313 | |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Switches-electrical.agr.jpg") | pictureList.kif 12080-12080 | |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ Knobs-for-climate-control.jpg") | pictureList.kif 12084-12084 | |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 8/ 87/ LaserJet_4_Control_Panel.jpg") | pictureList.kif 12083-12083 | |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Jtecul.jpg") | pictureList.kif 12082-12082 | |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/en/ 8/ 80/ On-Off_Switch.jpg") | pictureList.kif 12081-12081 | |
| (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 59639-59639 | |
| (termFormat ChineseTraditionalLanguage TurningOnDevice "打開設備") | domainEnglishFormat.kif 59638-59638 | |
| (termFormat EnglishLanguage TurningOnDevice "turning on device") | domainEnglishFormat.kif 59637-59637 |
| 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 |
|
|
|
|