Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
TurningOnDevice(turning on device)
more pictures... |  | come_on, come_up, go_on |
| appearance as argument number 1 |
|
|
| (subclass TurningOnDevice InternalChange) | Mid-level-ontology.kif 1079-1079 | Turning on device is a subclass of internal change |
| (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 1080-1083 | Turning on device is a subclass of internal change |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Morethantwowayswitching.PNG") | pictureList.kif 10312-10312 | Turning on device is a subclass of internal change |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Switches_electrical.agr.jpg") | pictureList.kif 12074-12074 | Turning on device is a subclass of internal change |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/en/ 8/ 80/ On_Off_Switch.jpg") | pictureList.kif 12075-12075 | Turning on device is a subclass of internal change |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Jtecul.jpg") | pictureList.kif 12076-12076 | Turning on device is a subclass of internal change |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 8/ 87/ LaserJet_4_Control_Panel.jpg") | pictureList.kif 12077-12077 | Turning on device is a subclass of internal change |
| (externalImage TurningOnDevice "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ Knobs_for_climate_control.jpg") | pictureList.kif 12078-12078 | Turning on device is a subclass of internal change |
| appearance as argument number 2 |
|
|
| 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 1085-1095 | If X is an instance of turning on device and Y is a patient of X, then device off is an attribute of Y holds during the beginning of the time of existence of X and device on is an attribute of Y holds during the end of the time of existence of X |
| (=> (and (instance ?P TurningOnDevice) (patient ?P ?D)) (instance ?D Device)) |
Mid-level-ontology.kif 1097-1101 | If X is an instance of turning on device and Y is a patient of X, then Y is an instance of device |
|