Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ReopeningGraphicalWindow(reopening graphical window) |
| appearance as argument number 1 |
|
| (subclass ReopeningGraphicalWindow OpeningGraphicalWindow) | ComputerInput.kif 2398-2398 | Reopening graphical window is a subclass of opening graphical window |
| (documentation ReopeningGraphicalWindow EnglishLanguage "A UserSignifiedAction causing the redisplay of a minimized InterfaceWindow on a ComputerScreen. Reopening a window normally makes it the active window and brings it to the front.") | ComputerInput.kif 2399-2401 | Reopening graphical window is a subclass of opening graphical window |
| (disjoint ReopeningGraphicalWindow OpeningNewGraphicalWindow) | ComputerInput.kif 2402-2402 | Reopening graphical window is disjoint from opening new graphical window |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?OPEN ReopeningGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (BeginFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MinimizedState)) (holdsDuring (EndFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MinimizedState))))) |
ComputerInput.kif 2405-2414 | If X is an instance of reopening graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE minimized state holds during the beginning of the time of existence of X and Y has state GUE minimized state holds during the end of the time of existence of X |
|