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


KB Term:  Term intersection
English Word: 

  OpeningNewGraphicalWindow

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