BringingGEToFront
|
|
appearance as argument number 1 |
(documentation BringingGEToFront EnglishLanguage "A UserSignifiedAction causing an GUIElement to be logically brought to the front -- of its window if it is an element in a window, and of a ComputerScreen if it is an InterfaceWindow.") | ComputerInput.kif 2326-2328 | |
(subclass BringingGEToFront UserSignifiedGraphicalAction) | ComputerInput.kif 2325-2325 |
appearance as argument number 2 |
(termFormat EnglishLanguage BringingGEToFront "bringing GE to front") | domainEnglishFormat.kif 64571-64571 |
antecedent |
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow) (holdsDuring (BeginFn ?ACT) (hasGUEState ?WINDOW ?STATE)) (contraryAttribute ?STATE GUE_UncoveredState)) (holdsDuring (EndFn ?ACT) (not (hasGUEState ?WINDOW ?STATE)))) |
ComputerInput.kif 2332-2343 | |
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow)) (holdsDuring (EndFn ?ACT) (hasGUEState ?WINDOW GUE_UncoveredState))) |
ComputerInput.kif 2347-2354 |