PartiallyCoveringGraphicalWindow
|
|
appearance as argument number 1 |
(documentation PartiallyCoveringGraphicalWindow EnglishLanguage "A UserSignifiedAction causing a GUIElement to be partially covered on a ComputerScreen by at least one other GUIElement.") | ComputerInput.kif 2552-2553 | |
(subclass PartiallyCoveringGraphicalWindow UserSignifiedGraphicalAction) | ComputerInput.kif 2551-2551 | PartiallyCoveringGraphicalWindow は UserSignifiedGraphicalAction の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage PartiallyCoveringGraphicalWindow "partially covering graphical window") | domainEnglishFormat.kif 65295-65295 |
appearance as argument number 3 |
(domain guiElementPartiallyCovered 1 PartiallyCoveringGraphicalWindow) | ComputerInput.kif 2556-2556 | guiElementPartiallyCovered の数値 1 引数は PartiallyCoveringGraphicalWindow の instance では %n |
antecedent |
(=> (and (instance ?COVERING PartiallyCoveringGraphicalWindow) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))) |
ComputerInput.kif 2609-2617 |
|
(=> (instance ?UNCOVERING PartiallyCoveringGraphicalWindow) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementPartiallyCovered ?UNCOVERING ?GUIE)))) |
ComputerInput.kif 2564-2569 |