Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReopeningGraphicalWindow
ReopeningGraphicalWindow

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


(disjoint ReopeningGraphicalWindow OpeningNewGraphicalWindow) ComputerInput.kif 2086-2086
(documentation ReopeningGraphicalWindow EnglishLanguage "A UserSignifiedAction causing the redisplay of a minimized InterfaceWindow on a ComputerScreen. Reopening a window normally makes it the active window and brings it to the front.") ComputerInput.kif 2085-2085
(subclass ReopeningGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2084-2084

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


(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow) ComputerInput.kif 2103-2103

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


(=>
    (and
        (instance ?OPEN ReopeningGraphicalWindow)
        (patient ?OPEN ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?OPEN))
            (hasGUEState ?WINDOW GUE_MinimizedState))
        (holdsDuring
            (EndFn
                (WhenFn ?OPEN))
            (not
                (hasGUEState ?WINDOW GUE_MinimizedState)))))
ComputerInput.kif 2089-2098


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners