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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClosingGraphicalWindow

Sigma KEE - ClosingGraphicalWindow
ClosingGraphicalWindow(closing graphical window)

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


(documentation ClosingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow on a ComputerScreen to stop being displayed.") ComputerInput.kif 2434-2435
(subclass ClosingGraphicalWindow Destruction) ComputerInput.kif 2433-2433 Closing graphical window is a subclass of destruction
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2432-2432 Closing graphical window is a subclass of user signified graphical action

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


(termFormat EnglishLanguage ClosingGraphicalWindow "closing graphical window") domainEnglishFormat.kif 64650-64650

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


(=>
    (and
        (instance ?CLOSE ClosingGraphicalWindow)
        (patient ?CLOSE ?WINDOW))
    (and
        (instance ?WINDOW InterfaceWindow)
        (time ?WINDOW
            (BeginFn
                (WhenFn ?OPEN)))
        (not
            (time ?WINDOW
                (EndFn
                    (WhenFn ?OPEN))))))
ComputerInput.kif 2438-2445


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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