Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UnmaximizingGraphicalWindow(unmaximizing graphical window) |
| appearance as argument number 1 |
|
| (subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) | ComputerInput.kif 2496-2496 | Unmaximizing graphical window is a subclass of user signified graphical action |
| (documentation UnmaximizingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow to be reduced from covering the complete area of a ComputerScreen to the size and location it had before being maximized. If it was created as maximized, unmaximizing it will shrink it to a default size and location.") | ComputerInput.kif 2497-2500 | Unmaximizing graphical window is a subclass of user signified graphical action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UnmaximizingGraphicalWindow "unmaximizing graphical window") | domainEnglishFormat.kif 65669-65669 |
| antecedent |
|
|
| (=> (and (instance ?UNMAX UnmaximizingGraphicalWindow) (patient ?UNMAX ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (BeginFn (WhenFn ?UNMAX)) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (holdsDuring (EndFn (WhenFn ?UNMAX)) (not (hasGUEState ?WINDOW GUE_MaximizedWindowState))))) |
ComputerInput.kif 2502-2511 | If X is an instance of unmaximizing 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 beginning of the time of existence of X and Y has state GUE maximized window state holds during the end of the time of existence of X |
|