Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - OpeningNewGraphicalWindow
OpeningNewGraphicalWindow(opening new graphical window)

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


(subclass OpeningNewGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2383-2383 Opening new graphical window is a subclass of opening graphical window
(subclass OpeningNewGraphicalWindow Creation) ComputerInput.kif 2384-2384 Opening new graphical window is a subclass of creation
(documentation OpeningNewGraphicalWindow EnglishLanguage "A UserSignifiedAction causing the display of a new InterfaceWindow on a ComputerScreen.") ComputerInput.kif 2385-2386 Opening new graphical window is a subclass of creation

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


(disjoint ReopeningGraphicalWindow OpeningNewGraphicalWindow) ComputerInput.kif 2402-2402 Reopening graphical window is disjoint from opening new graphical window
(disjoint UncoveringGraphicalWindow OpeningNewGraphicalWindow) ComputerInput.kif 2419-2419 Uncovering graphical window is disjoint from opening new graphical window
(termFormat EnglishLanguage OpeningNewGraphicalWindow "opening new graphical window") domainEnglishFormat.kif 65272-65272 Uncovering graphical window is disjoint from opening new graphical window

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


(=>
    (instance ?OPEN OpeningNewGraphicalWindow)
    (exists (?WINDOW)
        (and
            (patient ?OPEN ?WINDOW)
            (instance ?WINDOW InterfaceWindow)
            (time ?WINDOW
                (EndFn
                    (WhenFn ?OPEN)))
            (not
                (time ?WINDOW
                    (BeginFn
                        (WhenFn ?OPEN)))))))		 ComputerInput.kif 2389-2396 If X is an instance of opening new graphical window, then there exists Y such that Y is a patient of X, Y is an instance of interface window, Y exists during the end of the time of existence of X, and Y doesn't exist during the beginning of the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners