Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PartiallyCoveringGraphicalWindow
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PartiallyCoveringGraphicalWindow UserSignifiedGraphicalAction) | ComputerInput.kif 2567-2567 | Partially covering graphical window is a subclass of user signified graphical action |
| (documentation PartiallyCoveringGraphicalWindow EnglishLanguage "A UserSignifiedAction causing a GUIElement to be partially covered on a ComputerScreen by at least one other GUIElement.") | ComputerInput.kif 2568-2569 | Partially covering graphical window is a subclass of user signified graphical action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PartiallyCoveringGraphicalWindow "partially covering graphical window") | domainEnglishFormat.kif 65296-65296 |
| appearance as argument number 3 |
|
|
| (domain guiElementPartiallyCovered 1 PartiallyCoveringGraphicalWindow) | ComputerInput.kif 2572-2572 | The number 1 argument of GUI element partially covered is an instance of partially covering graphical window |
| antecedent |
|
|
| (=> (instance ?UNCOVERING PartiallyCoveringGraphicalWindow) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementPartiallyCovered ?UNCOVERING ?GUIE)))) |
ComputerInput.kif 2580-2585 | If X is an instance of partially covering graphical window, then there exists Y such that Y is an instance of GUI element and X partially covers Y |
| (=> (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 2625-2633 | If X is an instance of partially covering graphical window, ?GUIE_TOP is an agent of X, ?GUIE_BOTTOM is a patient of X, ?GUIE_TOP is an instance of GUI element, and ?GUIE_BOTTOM is an instance of GUI element, then ?GUIE_BOTTOM is partially covered by ?GUIE_TOP holds during the end of X |
|