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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReopeningGraphicalWindow
ReopeningGraphicalWindow(reopening graphical window)

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


(disjoint ReopeningGraphicalWindow OpeningNewGraphicalWindow) ComputerInput.kif 2386-2386 Reopening graphical window is disjoint from opening new graphical window
(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 2383-2385
(subclass ReopeningGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2382-2382 Reopening graphical window is a subclass of opening graphical window

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


(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow) ComputerInput.kif 2404-2404 Uncovering graphical window is disjoint from reopening graphical window
(termFormat EnglishLanguage ReopeningGraphicalWindow "reopening graphical window") domainEnglishFormat.kif 65409-65409

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 2389-2398


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