|
|
   MinimizingGraphicalWindow
|
|
|
| appearance as argument number 1 |
|
|
| (documentation MinimizingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow on a ComputerScreen to stop being displayed but to still conceptually exist.") | ComputerInput.kif 2448-2449 | |
| (subclass MinimizingGraphicalWindow UserSignifiedGraphicalAction) | ComputerInput.kif 2447-2447 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MinimizingGraphicalWindow "minimizing graphical window") | domainEnglishFormat.kif 65183-65183 |
| 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 2451-2460 |
|
|
|