|
|
   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 est une sous-classe de UserSignifiedGraphicalAction |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PartiallyCoveringGraphicalWindow "partially covering graphical window") | domainEnglishFormat.kif 65293-65293 |
| appearance as argument number 3 |
|
|
| (domain guiElementPartiallyCovered 1 PartiallyCoveringGraphicalWindow) | ComputerInput.kif 2556-2556 | Le nombre 1 argument de guiElementPartiallyCovered est une instance de PartiallyCoveringGraphicalWindow |
| 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 |
|
|
|