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