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 2401-2401 ReopeningGraphicalWindow is disjoint from OpeningNewGraphicalWindow
(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 2398-2400
(subclass ReopeningGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2397-2397 ReopeningGraphicalWindow is a subclass of OpeningGraphicalWindow

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


(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow) ComputerInput.kif 2419-2419 UncoveringGraphicalWindow is disjoint from ReopeningGraphicalWindow

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 2404-2413


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 is open source software produced by Articulate Software and its partners