GUE_VerticallyMaximizedWindowState
|
|
appearance as argument number 1 |
appearance as argument number 2 |
(termFormat EnglishLanguage GUE_VerticallyMaximizedWindowState "GUE vertically maximized window state") | domainEnglishFormat.kif 64917-64917 |
antecedent |
(=> (hasGUEState ?GUIE GUE_VerticallyMaximizedWindowState) (instance ?GUIE InterfaceWindow)) |
ComputerInput.kif 2065-2067 |