antecedent

(=>     (and         (instance ?CURSOR1 MouseCursor)         (instance ?CURSOR2 MouseCursor)         (screenOfGUIE ?CURSOR1 ?SCREEN)         (screenOfGUIE ?CURSOR2 ?SCREEN))     (equal ?CURSOR1 ?CURSOR2))	ComputerInput.kif 1067-1073	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 1896-1904	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 1920-1929	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 1935-1948	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 1964-1972	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 2120-2131	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 is open source software produced by Articulate Software and its partners