UncoveringGraphicalWindow
|
|
appearance as argument number 1 |
(disjoint UncoveringGraphicalWindow OpeningNewGraphicalWindow) | ComputerInput.kif 2403-2403 | UncoveringGraphicalWindow ist dijunkt von OpeningNewGraphicalWindow %n{nicht} |
(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow) | ComputerInput.kif 2404-2404 | UncoveringGraphicalWindow ist dijunkt von ReopeningGraphicalWindow %n{nicht} |
(documentation UncoveringGraphicalWindow EnglishLanguage "A UserSignifiedAction causing a CoveredInterfaceWindow to become visible again by (re)moving any GraphicalUIElement that has been covering it.") | ComputerInput.kif 2401-2402 | |
(subclass UncoveringGraphicalWindow OpeningGraphicalWindow) | ComputerInput.kif 2400-2400 | UncoveringGraphicalWindow ist eine teilkategorie von OpeningGraphicalWindow |
appearance as argument number 2 |
(termFormat EnglishLanguage UncoveringGraphicalWindow "uncovering graphical window") | domainEnglishFormat.kif 65644-65644 |
appearance as argument number 3 |
(domain guiElementUncovered 1 UncoveringGraphicalWindow) | ComputerInput.kif 2624-2624 | Die Zahl 1 Argument von guiElementUncovered ist ein fall von UncoveringGraphicalWindow %n{nicht} |
antecedent |