Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - guiElementUncovered
guiElementUncovered

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(format EnglishLanguage guiElementUncovered "%1 uncovers %2") domainEnglishFormat.kif 3582-3582
(format ChineseTraditionalLanguage guiElementUncovered "%1 uncovers %2 ") domainEnglishFormat.kif 3583-3583
(format ChineseLanguage guiElementUncovered "%1 uncovers %2 ") domainEnglishFormat.kif 3584-3584
(termFormat EnglishLanguage guiElementUncovered "GUI element uncovered") domainEnglishFormat.kif 65861-65861

antecedent
-------------------------


(=>
    (guiElementUncovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_UncoveredState)))		 ComputerInput.kif 2657-2660 If X uncovers Y, then Y has state GUE uncovered state holds during the end of the time of existence of X
(=>
    (guiElementUncovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_CoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))		 ComputerInput.kif 2665-2671 If X uncovers Y, then Y has state GUE covered state holds during the beginning of the time of existence of X or Y has state GUE partially covered state holds during the beginning of the time of existence of X

consequent
-------------------------


(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (guiElementUncovered ?UNCOVER ?WINDOW))		 ComputerInput.kif 2432-2437 If X is an instance of uncovering graphical window, Y is a patient of X, and Y is an instance of interface window, then X uncovers Y
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?WINDOW))		 ComputerInput.kif 2439-2446 If X is an instance of uncovering graphical window, Y is a patient of X, Y is an instance of interface window, Z is a proper part of Y, and Z is an instance of cursor, then X uncovers Y
(=>
    (instance ?UNCOVERING UncoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementUncovered ?UNCOVERING ?GUIE))))		 ComputerInput.kif 2647-2652 If X is an instance of uncovering GUI element, then there exists Y such that Y is an instance of GUI element and X uncovers Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners