UncoveringGUIElement |
appearance as argument number 1 |
![]() |
(documentation UncoveringGUIElement EnglishLanguage "A UserSignifiedAction causing a covered GUIElement to be completely uncovered on a ComputerScreen.") | ComputerInput.kif 2634-2635 | |
(subclass UncoveringGUIElement UserSignifiedGraphicalAction) | ComputerInput.kif 2633-2633 | UncoveringGUIElement is a subclass of UserSignifiedGraphicalAction |
antecedent |
![]() |
(=> (instance ?UNCOVERING UncoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementUncovered ?UNCOVERING ?GUIE)))) |
ComputerInput.kif 2645-2650 |
|
![]() |
![]() |