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


KB Term:  Term intersection
English Word: 

Sigma KEE - OpeningGraphicalWindow
OpeningGraphicalWindow(opening graphical window)

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


(subclass OpeningGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2373-2373 Opening graphical window is a subclass of user signified graphical action
(documentation OpeningGraphicalWindow EnglishLanguage "A UserSignifiedAction causing the display of an InterfaceWindow on a ComputerScreen.") ComputerInput.kif 2374-2375 Opening graphical window is a subclass of user signified graphical action

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


(subclass OpeningNewGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2383-2383 Opening new graphical window is a subclass of opening graphical window
(subclass ReopeningGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2398-2398 Reopening graphical window is a subclass of opening graphical window
(subclass UncoveringGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2416-2416 Uncovering graphical window is a subclass of opening graphical window
(termFormat EnglishLanguage OpeningGraphicalWindow "opening graphical window") domainEnglishFormat.kif 65271-65271 Uncovering graphical window is a subclass of opening graphical window

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


(=>
    (and
        (instance ?OPEN OpeningGraphicalWindow)
        (patient ?OPEN ?WINDOW))
    (instance ?WINDOW InterfaceWindow))		 ComputerInput.kif 2377-2381 If X is an instance of opening graphical window and Y is a patient of X, then Y is an instance of interface window


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