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


KB Term:  Term intersection
English Word: 

Sigma KEE - UncoveringGraphicalWindow
UncoveringGraphicalWindow(uncovering graphical window)

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


(subclass UncoveringGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2416-2416 Uncovering graphical window is a subclass of opening graphical window
(documentation UncoveringGraphicalWindow EnglishLanguage "A UserSignifiedAction causing a CoveredInterfaceWindow to become visible again by (re)moving any GraphicalUIElement that has been covering it.") ComputerInput.kif 2417-2418 Uncovering graphical window is a subclass of opening graphical window
(disjoint UncoveringGraphicalWindow OpeningNewGraphicalWindow) ComputerInput.kif 2419-2419 Uncovering graphical window is disjoint from opening new graphical window
(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow) ComputerInput.kif 2420-2420 Uncovering graphical window is disjoint from reopening graphical window

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


(termFormat EnglishLanguage UncoveringGraphicalWindow "uncovering graphical window") domainEnglishFormat.kif 65647-65647

appearance as argument number 3
-------------------------


(domain guiElementUncovered 1 UncoveringGraphicalWindow) ComputerInput.kif 2640-2640 The number 1 argument of GUI element uncovered is an instance of uncovering graphical window

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


(=>
    (instance ?UNCOVER UncoveringGraphicalWindow)
    (exists (?WINDOW)
        (and
            (patient ?UNCOVER ?WINDOW)
            (instance ?WINDOW InterfaceWindow))))		 ComputerInput.kif 2423-2428 If X is an instance of uncovering graphical window, then there exists Y such that Y is a patient of X and Y is an instance of interface window
(=>
    (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


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