GUE_ActiveState
|
|
appearance as argument number 1 |
(contraryAttribute GUE_ActiveState GUE_PassiveState) | ComputerInput.kif 1961-1961 | GUE_ActiveState wird GUE_PassiveState entgegengesetzet %n{nicht} |
(documentation GUE_ActiveState EnglishLanguage "The GUElementState of being ready to accept user clicks and keyboard activity. At most one InterfaceWindow on a ComputerScreen is active at a time, and at most one GUIElement that is a direct part of that window is active at one time. A subelement of an active element may also be active.") | ComputerInput.kif 1889-1892 | |
(instance GUE_ActiveState GUElementState) | ComputerInput.kif 1888-1888 | GUE_ActiveState ist ein fall von GUElementState %n{nicht} |
appearance as argument number 2 |
(contraryAttribute GUE_MinimizedState GUE_ActiveState) | ComputerInput.kif 2042-2042 | GUE_MinimizedState wird GUE_ActiveState entgegengesetzet %n{nicht} |
(termFormat EnglishLanguage GUE_ActiveState "GUE active state") | domainEnglishFormat.kif 64902-64902 |
antecedent |
consequent |
statement |
(not (and (hasGUEState ?WINDOW GUE_NonVisibleState) (hasGUEState ?WINDOW GUE_ActiveState) (instance ?WINDOW InterfaceWindow))) |
ComputerInput.kif 2011-2015 | ~{ hasGUEState GUIElement and GUE_NonVisibleState } oder ~{ hasGUEState ** GUIElement and GUE_ActiveState } oder ~{ ** GUIElement ist ein fall von InterfaceWindow %n{nicht} } |
(not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState))) |
ComputerInput.kif 1952-1955 | ~{ GUIElement ist ein fall von MouseCursor %n{nicht} } oder ~{ hasGUEState ** GUIElement and GUE_ActiveState } |