CoveringGUIElement
|
|
appearance as argument number 1 |
(documentation CoveringGUIElement EnglishLanguage "A UserSignifiedAction causing a GUIElement to be covered completely on a ComputerScreen by at least one other GUIElement.") | ComputerInput.kif 2498-2499 | |
(subclass CoveringGUIElement UserSignifiedGraphicalAction) | ComputerInput.kif 2497-2497 | CoveringGUIElement は UserSignifiedGraphicalAction の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage CoveringGUIElement "covering GUI element") | ComputerInput.kif 2502-2502 |
appearance as argument number 3 |
(domain guiElementCovered 1 CoveringGUIElement) | ComputerInput.kif 2515-2515 | guiElementCovered の数値 1 引数は CoveringGUIElement の instance では %n |
antecedent |