UncoveringGUIElement
|
|
appearance as argument number 1 |
(documentation UncoveringGUIElement EnglishLanguage "A UserSignifiedAction causing a covered GUIElement to be completely uncovered on a ComputerScreen.") | ComputerInput.kif 2620-2621 | |
(subclass UncoveringGUIElement UserSignifiedGraphicalAction) | ComputerInput.kif 2619-2619 | UncoveringGUIElement 是 UserSignifiedGraphicalAction 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage UncoveringGUIElement "uncovering GUI element") | domainEnglishFormat.kif 65645-65645 |
antecedent |
(=> (instance ?UNCOVERING UncoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementUncovered ?UNCOVERING ?GUIE)))) |
ComputerInput.kif 2631-2636 |