Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MaximizingGraphicalWindow
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) | ComputerInput.kif 2478-2478 | Maximizing graphical window is a subclass of user signified graphical action |
| (documentation MaximizingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow to be expanded to cover the complete area of a ComputerScreen -- or possibly the complete vertical range of the screen if the window has a maximum width less than the screen_width. If the window being maximized is logically in front of any other window (which would normally be the case), this would also be a case of CoveringGraphicalWindow.") | ComputerInput.kif 2479-2483 | Maximizing graphical window is a subclass of user signified graphical action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MaximizingGraphicalWindow "maximizing graphical window") | domainEnglishFormat.kif 65159-65159 |
| antecedent |
|
|
| (=> (and (instance ?OPEN MaximizingGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (EndFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (holdsDuring (BeginFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MaximizedWindowState))))) |
ComputerInput.kif 2485-2494 | If X is an instance of maximizing graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE maximized window state holds during the end of the time of existence of X and Y has state GUE maximized window state holds during the beginning of the time of existence of X |
|