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 è una sottoclasse di UserSignifiedGraphicalAction |
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 | Il numero 1 argomenti di guiElementCovered è un istanza di CoveringGUIElement |
antecedent |