Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoveringGUIElement(covering GUI element) |
| appearance as argument number 1 |
|
| (subclass CoveringGUIElement UserSignifiedGraphicalAction) | ComputerInput.kif 2513-2513 | Covering GUI element is a subclass of user signified graphical action |
| (documentation CoveringGUIElement EnglishLanguage "A UserSignifiedAction causing a GUIElement to be covered completely on a ComputerScreen by at least one other GUIElement.") | ComputerInput.kif 2514-2515 | Covering GUI element is a subclass of user signified graphical action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoveringGUIElement "covering GUI element") | ComputerInput.kif 2518-2518 |
| appearance as argument number 3 |
|
|
| (domain guiElementCovered 1 CoveringGUIElement) | ComputerInput.kif 2531-2531 | The number 1 argument of GUI element covered is an instance of covering GUI element |
| antecedent |
|
|
| (=> (instance ?COVERING CoveringGUIElement) (exists (?GUIE1 ?GUIE2) (and (instance ?GUIE1 GUIElement) (instance ?GUIE2 GUIElement) (agent ?COVERING ?GUIE1) (patient ?COVERING ?GUIE2) (not (equal ?GUIE1 ?GUIE2))))) |
ComputerInput.kif 2520-2528 | If X is an instance of covering GUI element, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of GUI element (3) Z is an instance of GUI element (4) Y is an agent of X (5) Z is a patient of X (6) equal Y (7) Z |
| (=> (instance ?COVERING CoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (patient ?COVERING ?GUIE) (guiElementCovered ?COVERING ?GUIE)))) |
ComputerInput.kif 2537-2543 | If X is an instance of covering GUI element, then there exists Y such that Y is an instance of GUI element, Y is a patient of X, and X covers Y |
| (=> (and (instance ?COVERING CoveringGUIElement) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (or (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))) |
ComputerInput.kif 2613-2623 | If X is an instance of covering GUI element, ?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 covered by ?GUIE_TOP or ?GUIE_BOTTOM is partially covered by ?GUIE_TOP holds during the end of X |
|