Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MinimizingGraphicalWindow
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MinimizingGraphicalWindow UserSignifiedGraphicalAction) | ComputerInput.kif 2463-2463 | Minimizing graphical window is a subclass of user signified graphical action |
| (documentation MinimizingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow on a ComputerScreen to stop being displayed but to still conceptually exist.") | ComputerInput.kif 2464-2465 | Minimizing graphical window is a subclass of user signified graphical action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MinimizingGraphicalWindow "minimizing graphical window") | domainEnglishFormat.kif 65184-65184 |
| antecedent |
|
|
| (=> (and (instance ?OPEN MinimizingGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (EndFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MinimizedState)) (holdsDuring (BeginFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MinimizedState))))) |
ComputerInput.kif 2467-2476 | If X is an instance of minimizing 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 end of the time of existence of X and Y has state GUE minimized state holds during the beginning of the time of existence of X |
|