Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UncoveringGUIElement(uncovering GUI element) |
| appearance as argument number 1 |
|
| (subclass UncoveringGUIElement UserSignifiedGraphicalAction) | ComputerInput.kif 2635-2635 | Uncovering GUI element is a subclass of user signified graphical action |
| (documentation UncoveringGUIElement EnglishLanguage "A UserSignifiedAction causing a covered GUIElement to be completely uncovered on a ComputerScreen.") | ComputerInput.kif 2636-2637 | Uncovering GUI element is a subclass of user signified graphical action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UncoveringGUIElement "uncovering GUI element") | domainEnglishFormat.kif 65646-65646 |
| antecedent |
|
|
| (=> (instance ?UNCOVERING UncoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementUncovered ?UNCOVERING ?GUIE)))) |
ComputerInput.kif 2647-2652 | If X is an instance of uncovering GUI element, then there exists Y such that Y is an instance of GUI element and X uncovers Y |
|