InterfaceWindow - Sigma Knowledge base Browser

appearance as argument number 1

(documentation InterfaceWindow EnglishLanguage "An InterfaceWindow is a GUIElement that covers a (normally rectangular region of a computer screen. Each window has an image which covers its whole area and a level of transparency. A region of the screen may be covered by one or more InterfaceWindows in a specified order with the ``top'' window visible, and those sequentially underneigth visible only to the extent that the window(s) above them are partially or wholely transparent. An interface window is ``active'' if the state of the GUI is such that user input is automatically set to it.")	ComputerInput.kif 1076-1081
(subclass InterfaceWindow GUIElement)	ComputerInput.kif 1075-1075	Interface window is a subclass of GUI element

appearance as argument number 2

(disjoint Cursor InterfaceWindow)	ComputerInput.kif 1082-1082	Cursor is disjoint from interface window
(subclass PopupWindow InterfaceWindow)	ComputerInput.kif 1084-1084	Popup window is a subclass of interface window
(termFormat EnglishLanguage InterfaceWindow "interface window")	domainEnglishFormat.kif 65082-65082	Popup window is a subclass of interface window

antecedent

(=> (and (hasGUEState ?WIN1 GUE_UncoveredState) (hasGUEState ?WIN1 GUE_MaximizedWindowState) (screenOfGUIE ?WIN1 ?SCREEN) (instance ?WIN2 InterfaceWindow) (screenOfGUIE ?WIN2 ?SCREEN) (not (equal ?WIN1 ?WIN2))) (or (hasGUEState ?WIN2 GUE_CoveredState) (hasGUEState ?WIN2 GUE_PartiallyCoveredState) (hasGUEState ?WIN2 GUE_OffscreenState)))	ComputerInput.kif 2120-2131	If a GUI element has state GUE uncovered state and the GUI element has state GUE maximized window state and the GUI element is displayed on a computer screen and another GUI element is an instance of interface window and the other GUI element is displayed on the computer screen and the GUI element is not equal to the other GUI element, then the other GUI element has state GUE covered state or the other GUI element has state GUE partially covered state or the other GUI element has state GUE offscreen state
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow) (holdsDuring (BeginFn ?ACT) (hasGUEState ?WINDOW ?STATE)) (contraryAttribute ?STATE GUE_UncoveredState)) (holdsDuring (EndFn ?ACT) (not (hasGUEState ?WINDOW ?STATE))))	ComputerInput.kif 2332-2343	If a time interval is an instance of bringing GE to front and an entity is a patient of the time interval and the entity is an instance of interface window and the entity has state an attribute holds during the beginning of the time interval and the attribute is the opposite of GUE uncovered state, then not the entity has state the attribute holds during the end of the time interval
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow)) (holdsDuring (EndFn ?ACT) (hasGUEState ?WINDOW GUE_UncoveredState)))	ComputerInput.kif 2347-2354	If a time interval is an instance of bringing GE to front and an entity is a patient of the time interval and the entity is an instance of interface window, then the entity has state GUE uncovered state holds during the end of the time interval
(=> (and (instance ?GUIE1 GUIElement) (instance ?GUIE2 GUIElement) (not (instance ?GUIE1 InterfaceWindow)) (not (instance ?GUIE2 InterfaceWindow)) (screenOfGUIE ?GUIE1 ?SCREEN) (screenOfGUIE ?GUIE2 ?SCREEN) (hasGUEState ?GUIE1 GUE_ActiveState) (hasGUEState ?GUIE2 GUE_ActiveState)) (or (properPart ?GUIE1 ?GUIE2) (properPart ?GUIE2 ?GUIE1) (equal ?GUIE1 ?GUIE2)))	ComputerInput.kif 1935-1948	If a GUI element is an instance of GUI element and another GUI element is an instance of GUI element and the GUI element is not an instance of interface window and the other GUI element is not an instance of interface window and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the GUI element is a proper part of the other GUI element or the other GUI element is a proper part of the GUI element or the GUI element is equal to the other GUI element
(=> (and (instance ?OPEN MaximizingGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (EndFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (holdsDuring (BeginFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MaximizedWindowState)))))	ComputerInput.kif 2469-2478	If a process is an instance of maximizing graphical window and an entity is a patient of the process and the entity is an instance of interface window, then the entity has state GUE maximized window state holds during the end of the time of existence of the process and not the entity has state GUE maximized window state holds during the beginning of the time of existence of the process
(=> (and (instance ?OPEN MinimizingGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (EndFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MinimizedState)) (holdsDuring (BeginFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MinimizedState)))))	ComputerInput.kif 2451-2460	If a process is an instance of minimizing graphical window and an entity is a patient of the process and the entity is an instance of interface window, then the entity has state GUE minimized state holds during the end of the time of existence of the process and not the entity has state GUE minimized state holds during the beginning of the time of existence of the process
(=> (and (instance ?OPEN ReopeningGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (BeginFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MinimizedState)) (holdsDuring (EndFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MinimizedState)))))	ComputerInput.kif 2389-2398	If a process is an instance of reopening graphical window and an entity is a patient of the process and the entity is an instance of interface window, then the entity has state GUE minimized state holds during the beginning of the time of existence of the process and not the entity has state GUE minimized state holds during the end of the time of existence of the process
(=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow) (properPart ?CURSOR ?WINDOW) (instance ?CURSOR Cursor)) (guiElementUncovered ?UNCOVER ?WINDOW))	ComputerInput.kif 2423-2430	If an uncovering graphical window is an instance of uncovering graphical window and a GUI element is a patient of the uncovering graphical window and the GUI element is an instance of interface window and an object is a proper part of the GUI element and the object is an instance of cursor, then the uncovering graphical window uncovers the GUI element
(=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow)) (guiElementUncovered ?UNCOVER ?WINDOW))	ComputerInput.kif 2416-2421	If an uncovering graphical window is an instance of uncovering graphical window and a GUI element is a patient of the uncovering graphical window and the GUI element is an instance of interface window, then the uncovering graphical window uncovers the GUI element
(=> (and (instance ?UNMAX UnmaximizingGraphicalWindow) (patient ?UNMAX ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (BeginFn (WhenFn ?UNMAX)) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (holdsDuring (EndFn (WhenFn ?UNMAX)) (not (hasGUEState ?WINDOW GUE_MaximizedWindowState)))))	ComputerInput.kif 2486-2495	If a process is an instance of unmaximizing graphical window and an entity is a patient of the process and the entity is an instance of interface window, then the entity has state GUE maximized window state holds during the beginning of the time of existence of the process and not the entity has state GUE maximized window state holds during the end of the time of existence of the process
(=> (and (instance ?WINDOW InterfaceWindow) (instance ?GUIE GUIElement) (screenOfGUIE ?WINDOW ?SCREEN) (screenOfGUIE ?GUIE ?SCREEN) (not (instance ?GUIE InterfaceWindow)) (hasGUEState ?WINDOW GUE_ActiveState) (hasGUEState ?GUIE GUE_ActiveState)) (properPart ?GUIE ?WINDOW))	ComputerInput.kif 1920-1929	If a GUI element is an instance of interface window and another GUI element is an instance of GUI element and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the other GUI element is not an instance of interface window and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the other GUI element is a proper part of the GUI element
(=> (and (instance ?WINDOW1 InterfaceWindow) (instance ?WINDOW2 InterfaceWindow) (screenOfGUIE ?WINDOW1 ?SCREEN) (screenOfGUIE ?WINDOW2 ?SCREEN) (hasGUEState ?WINDOW1 GUE_ActiveState) (hasGUEState ?WINDOW1 GUE_ActiveState)) (equal ?WINDOW1 ?WINDOW2))	ComputerInput.kif 1896-1904	If a GUI element is an instance of interface window and another GUI element is an instance of interface window and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the GUI element has state GUE active state and the GUI element has state GUE active state, then the GUI element is equal to the other GUI element
(=> (and (instance ?WINDOW_A InterfaceWindow) (instance ?WINDOW_P InterfaceWindow) (screenOfGUIE ?WINDOW_A ?SCREEN) (screenOfGUIE ?WINDOW_P ?SCREEN) (hasGUEState ?WINDOW_A GUE_ActiveState) (not (equal ?WINDOW_A ?WINDOW_P))) (hasGUEState ?WINDOW_P GUE_PassiveState))	ComputerInput.kif 1964-1972	If an entity_A is an instance of interface window and the entity_P is an instance of interface window and the entity_A is displayed on a computer screen and the entity_P is displayed on the computer screen and the entity_A has state GUE active state and the entity_A is not equal to the entity_P, then the entity_P has state GUE passive state

consequent

(=> (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
(=> (and (instance ?OPEN OpeningGraphicalWindow) (patient ?OPEN ?WINDOW)) (instance ?WINDOW InterfaceWindow))	ComputerInput.kif 2361-2365	If a process is an instance of opening graphical window and an entity is a patient of the process, then the entity is an instance of interface window
(=> (hasGUEState ?GUIE GUE_MaximizedWindowState) (instance ?GUIE InterfaceWindow))	ComputerInput.kif 2051-2053	If a GUI element has state GUE maximized window state, then the GUI element is an instance of interface window
(=> (hasGUEState ?GUIE GUE_VerticallyMaximizedWindowState) (instance ?GUIE InterfaceWindow))	ComputerInput.kif 2065-2067	If a GUI element has state GUE vertically maximized window state, then the GUI element is an instance of interface window
(=> (instance ?ACT WindowScrolling) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE InterfaceWindow))))	ComputerInput.kif 1776-1781	If a process is an instance of window scrolling, then there exists an entity such that the entity is a patient of the process and the entity is an instance of interface window
(=> (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 2373-2380	If a process is an instance of opening new graphical window, then there exists a physical such that the physical is a patient of the process and the physical is an instance of interface window and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
(=> (instance ?SCROLL WindowScrollingByUser) (exists (?WINDOW) (and (patient ?SCROLL ?WINDOW) (instance ?WINDOW InterfaceWindow) (hasGUEState ?WINDOW GUE_ActiveState))))	ComputerInput.kif 1797-1803	If a process is an instance of window scrolling by user, then there exists a GUI element such that the GUI element is a patient of the process and the GUI element is an instance of interface window and the GUI element has state GUE active state
(=> (instance ?UNCOVER UncoveringGraphicalWindow) (exists (?WINDOW) (and (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow))))	ComputerInput.kif 2407-2412	If a process is an instance of uncovering graphical window, then there exists an entity such that the entity is a patient of the process and the entity is an instance of interface window

statement

(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))

ComputerInput.kif 2011-2015

~{ A GUI element has state GUE non visible state } or ~{ the GUI element has state GUE active state } or ~{ the GUI element 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: