Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BringingGEToFront(bringing GE to front) |
| appearance as argument number 1 |
|
| (subclass BringingGEToFront UserSignifiedGraphicalAction) | ComputerInput.kif 2341-2341 | Bringing GE to front is a subclass of user signified graphical action |
| (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 2342-2344 | Bringing GE to front is a subclass of user signified graphical action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BringingGEToFront "bringing GE to front") | domainEnglishFormat.kif 64572-64572 |
| 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 2348-2359 | If X is an instance of bringing GE to front, Y is a patient of X, Y is an instance of interface window, Y has state Z holds during the beginning of X, and Z is the opposite of GUE uncovered state, then Y has state Z holds during the end of X |
| (=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow)) (holdsDuring (EndFn ?ACT) (hasGUEState ?WINDOW GUE_UncoveredState))) |
ComputerInput.kif 2363-2370 | If X is an instance of bringing GE to front, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE uncovered state holds during the end of X |
|