UncoveringGraphicalWindow
|
|
appearance as argument number 1 |
(disjoint UncoveringGraphicalWindow OpeningNewGraphicalWindow) | ComputerInput.kif 2403-2403 | UncoveringGraphicalWindow と OpeningNewGraphicalWindow は disjoint では %n |
(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow) | ComputerInput.kif 2404-2404 | UncoveringGraphicalWindow と ReopeningGraphicalWindow は disjoint では %n |
(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 は OpeningGraphicalWindow の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage UncoveringGraphicalWindow "uncovering graphical window") | domainEnglishFormat.kif 65646-65646 |
appearance as argument number 3 |
(domain guiElementUncovered 1 UncoveringGraphicalWindow) | ComputerInput.kif 2624-2624 | guiElementUncovered の数値 1 引数は UncoveringGraphicalWindow の instance では %n |
antecedent |