guiElementUncovered |
appearance as argument number 1 |
(documentation guiElementUncovered EnglishLanguage "(guiElementUncovered ?UNCOVERING ?GUIE) means that the GUIElement ?GUIE has become completely uncovered by the action ?UNCOVERING. Its logical positioned on the screen does is not changed.") | ComputerInput.kif 2626-2628 | |
(domain guiElementUncovered 1 UncoveringGraphicalWindow) | ComputerInput.kif 2624-2624 | |
(domain guiElementUncovered 2 GUIElement) | ComputerInput.kif 2625-2625 | |
(instance guiElementUncovered BinaryPredicate) | ComputerInput.kif 2623-2623 |
appearance as argument number 2 |
(format ChineseLanguage guiElementUncovered "%1 uncovers %2 ") | domainEnglishFormat.kif 3586-3586 | |
(format ChineseTraditionalLanguage guiElementUncovered "%1 uncovers %2 ") | domainEnglishFormat.kif 3585-3585 | |
(format EnglishLanguage guiElementUncovered "%1 uncovers %2") | domainEnglishFormat.kif 3584-3584 | |
(termFormat EnglishLanguage guiElementUncovered "GUI element uncovered") | domainEnglishFormat.kif 65847-65847 |
antecedent |
(=> (guiElementUncovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState))) |
ComputerInput.kif 2641-2644 | |
(=> (guiElementUncovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_CoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState)))) |
ComputerInput.kif 2649-2655 |
consequent |
(=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow) (properPart ?CURSOR ?WINDOW) (instance ?CURSOR Cursor)) (guiElementUncovered ?UNCOVER ?WINDOW)) |
ComputerInput.kif 2423-2430 | |
(=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow)) (guiElementUncovered ?UNCOVER ?WINDOW)) |
ComputerInput.kif 2416-2421 | |
(=> (instance ?UNCOVERING UncoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementUncovered ?UNCOVERING ?GUIE)))) |
ComputerInput.kif 2631-2636 |