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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ClosingGraphicalWindow

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
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2432-2432

appearance as argument number 2

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


        (instance ?CLOSE ClosingGraphicalWindow)
        (patient ?CLOSE ?WINDOW))
        (instance ?WINDOW InterfaceWindow)
        (time ?WINDOW
                (WhenFn ?OPEN)))
            (time ?WINDOW
                    (WhenFn ?OPEN))))))
ComputerInput.kif 2438-2445

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