antecedent

(=>     (and         (instance ?CURSOR1 MouseCursor)         (instance ?CURSOR2 MouseCursor)         (screenOfGUIE ?CURSOR1 ?SCREEN)         (screenOfGUIE ?CURSOR2 ?SCREEN))     (equal ?CURSOR1 ?CURSOR2))	ComputerInput.kif 1083-1089	If X is an instance of mouse cursor, Y is an instance of mouse cursor, X is displayed on Z, and Y is displayed on Z, then equal X and Y
(=>     (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 1912-1920	If All of the following hold: (1) X is an instance of interface window (2) Y is an instance of interface window (3) X is displayed on Z (4) Y is displayed on Z (5) X has state GUE active state (6) X has state GUE active state, then equal X and Y
(=>     (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 1936-1945	If All of the following hold: (1) X is an instance of interface window (2) Y is an instance of GUI element (3) X is displayed on Z (4) Y is displayed on Z (5) Y is not an instance of interface window (6) X has state GUE active state (7) Y has state GUE active state, then Y is a proper part of X
(=>     (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 1951-1964	If All of the following hold: (1) X is an instance of GUI element (2) Y is an instance of GUI element (3) X is not an instance of interface window (4) Y is not an instance of interface window (5) X is displayed on Z (6) Y is displayed on Z (7) X has state GUE active state (8) Y has state GUE active state, then At least one of the following holds: (1) X is a proper part of Y (2) Y is a proper part of X (3) equal X and Y
(=>     (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 1980-1988	If All of the following hold: (1) ?WINDOW_A is an instance of interface window (2) ?WINDOW_P is an instance of interface window (3) ?WINDOW_A is displayed on Y (4) ?WINDOW_P is displayed on Y (5) ?WINDOW_A has state GUE active state (6) equal ?WINDOW_A and ?WINDOW_P, then ?WINDOW_P has state GUE passive state
(=>     (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 2136-2147	If All of the following hold: (1) X has state GUE uncovered state (2) X has state GUE maximized window state (3) X is displayed on Y (4) Z is an instance of interface window (5) Z is displayed on Y (6) equal X and Z, then At least one of the following holds: (1) Z has state GUE covered state (2) Z has state GUE partially covered state (3) Z has state GUE offscreen state

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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners