ClosingGraphicalWindow - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage ClosingGraphicalWindow "closing graphical window")

domainEnglishFormat.kif 64698-64698

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

If a process is an instance of closing graphical window and a physical is a patient of the process,
then the physical is an instance of interface window and the physical exists during the beginning of the time of existence of another physical and the physical doesn't exist during the end of the time of existence of the other physical

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

(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

KB Term:			Term intersection

English Word: