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 | The number 1 argument of GUI element uncovered is an instance of uncovering graphical window |
(domain guiElementUncovered 2 GUIElement) | ComputerInput.kif 2625-2625 | The number 2 argument of GUI element uncovered is an instance of GUI element |
(instance guiElementUncovered BinaryPredicate) | ComputerInput.kif 2623-2623 | GUI element uncovered is an instance of binary predicate |
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 |