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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnmaximizingGraphicalWindow
UnmaximizingGraphicalWindow(unmaximizing graphical window)

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


(documentation UnmaximizingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow to be reduced from covering the complete area of a ComputerScreen to the size and location it had before being maximized. If it was created as maximized, unmaximizing it will shrink it to a default size and location.") ComputerInput.kif 2481-2484
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2480-2480 Unmaximizing graphical window is a subclass of user signified graphical action

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


(termFormat EnglishLanguage UnmaximizingGraphicalWindow "unmaximizing graphical window") domainEnglishFormat.kif 65666-65666

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


(=>
    (and
        (instance ?UNMAX UnmaximizingGraphicalWindow)
        (patient ?UNMAX ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?UNMAX))
            (hasGUEState ?WINDOW GUE_MaximizedWindowState))
        (holdsDuring
            (EndFn
                (WhenFn ?UNMAX))
            (not
                (hasGUEState ?WINDOW GUE_MaximizedWindowState)))))
ComputerInput.kif 2486-2495


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