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


KB Term:  Term intersection
English Word: 

Sigma KEE - hasGUEState
hasGUEState

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


(instance hasGUEState BinaryPredicate) ComputerInput.kif 1897-1897 has GUE state is an instance of binary predicate
(subrelation hasGUEState attribute) ComputerInput.kif 1898-1898 has GUE state is a subrelation of attribute
(domain hasGUEState 1 GUIElement) ComputerInput.kif 1899-1899 The number 1 argument of has GUE state is an instance of GUI element
(domain hasGUEState 2 GUElementState) ComputerInput.kif 1900-1900 The number 2 argument of has GUE state is an instance of GU element state
(documentation hasGUEState EnglishLanguage "(hasGUEState ?GUIE ?STATE) means that the GUIElement ?GUIE has the GUElementState, ?STATE.") ComputerInput.kif 1901-1902 The number 2 argument of has GUE state is an instance of GU element state

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


(format EnglishLanguage hasGUEState "%1 has state %2") domainEnglishFormat.kif 3606-3606
(format ChineseTraditionalLanguage hasGUEState "%1 有 state %2 ") domainEnglishFormat.kif 3607-3607
(format ChineseLanguage hasGUEState "%1 有 state %2 ") domainEnglishFormat.kif 3608-3608
(termFormat EnglishLanguage hasGUEState "has GUE state") domainEnglishFormat.kif 65863-65863

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


(=>
    (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 ?GUIE1 GUIElement)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (properPart ?GUIE1 ?GUIE2)
        (instance ?GUIE2 GUIElement))
    (hasGUEState ?GUIE2 GUE_ActiveState))		 ComputerInput.kif 1925-1931 If X is an instance of GUI element, X has state GUE active state, X is a proper part of Y, and Y is an instance of GUI element, then Y has state GUE active state
(=>
    (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
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_PassiveState))
    (hasGUEState ?GUIE_SM GUE_PassiveState))		 ComputerInput.kif 1993-1999 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE passive state, then ?GUIE_SM has state GUE passive state
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_NonVisibleState))
    (hasGUEState ?GUIE_SM GUE_NonVisibleState))		 ComputerInput.kif 2017-2023 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE non visible state, then ?GUIE_SM has state GUE non visible state
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_OffscreenState))
    (hasGUEState ?GUIE_SM GUE_OffscreenState))		 ComputerInput.kif 2045-2051 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE offscreen state, then ?GUIE_SM has state GUE offscreen state
(=>
    (hasGUEState ?GUIE GUE_MaximizedWindowState)
    (instance ?GUIE InterfaceWindow))		 ComputerInput.kif 2067-2069 If X has state GUE maximized window state, then X is an instance of interface window
(=>
    (hasGUEState ?GUIE GUE_VerticallyMaximizedWindowState)
    (instance ?GUIE InterfaceWindow))		 ComputerInput.kif 2081-2083 If X has state GUE vertically maximized window state, then X is an instance of interface window
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_CoveredState))
    (hasGUEState ?GUIE_SM GUE_CoveredState))		 ComputerInput.kif 2098-2104 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE covered state, then ?GUIE_SM has state GUE covered state
(=>
    (hasGUEState ?WIN1 GUE_UncoveredState)
    (or
        (hasGUEState ?WIN1 GUE_DisplayedState)
        (hasGUEState ?WIN1 GUE_OffscreenState)))		 ComputerInput.kif 2112-2116 If X has state GUE uncovered state, then X has state GUE displayed state or X has state GUE offscreen state
(=>
    (and
        (hasGUEState ?WINDOW GUE_UncoveredState)
        (hasGUEState ?WINDOW GUE_MaximizedWindowState))
    (hasGUEState ?WINDOW GUE_ActiveState))		 ComputerInput.kif 2120-2124 If X has state GUE uncovered state and X has state GUE maximized window state, then X has state GUE active 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
(=>
    (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 2348-2359 If X is an instance of bringing GE to front, Y is a patient of X, Y is an instance of interface window, Y has state Z holds during the beginning of X, and Z is the opposite of GUE uncovered state, then Y has state Z holds during the end of X

consequent
-------------------------


(=>
    (instance ?SCROLL WindowScrollingByUser)
    (exists (?WINDOW)
        (and
            (patient ?SCROLL ?WINDOW)
            (instance ?WINDOW InterfaceWindow)
            (hasGUEState ?WINDOW GUE_ActiveState))))		 ComputerInput.kif 1813-1819 If X is an instance of window scrolling by user, then there exists Y such that Y is a patient of X, Y is an instance of interface window, and Y has state GUE active state
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (properPart ?GUIE1 ?GUIE2)
        (instance ?GUIE2 GUIElement))
    (hasGUEState ?GUIE2 GUE_ActiveState))		 ComputerInput.kif 1925-1931 If X is an instance of GUI element, X has state GUE active state, X is a proper part of Y, and Y is an instance of GUI element, then Y has state GUE active state
(=>
    (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
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_PassiveState))
    (hasGUEState ?GUIE_SM GUE_PassiveState))		 ComputerInput.kif 1993-1999 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE passive state, then ?GUIE_SM has state GUE passive state
(=>
    (instance ?CURSOR MouseCursor)
    (hasGUEState ?CURSOR GUE_DisplayedState))		 ComputerInput.kif 2006-2008 If X is an instance of mouse cursor, then X has state GUE displayed state
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_NonVisibleState))
    (hasGUEState ?GUIE_SM GUE_NonVisibleState))		 ComputerInput.kif 2017-2023 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE non visible state, then ?GUIE_SM has state GUE non visible state
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_OffscreenState))
    (hasGUEState ?GUIE_SM GUE_OffscreenState))		 ComputerInput.kif 2045-2051 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE offscreen state, then ?GUIE_SM has state GUE offscreen state
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_CoveredState))
    (hasGUEState ?GUIE_SM GUE_CoveredState))		 ComputerInput.kif 2098-2104 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE covered state, then ?GUIE_SM has state GUE covered state
(=>
    (hasGUEState ?WIN1 GUE_UncoveredState)
    (or
        (hasGUEState ?WIN1 GUE_DisplayedState)
        (hasGUEState ?WIN1 GUE_OffscreenState)))		 ComputerInput.kif 2112-2116 If X has state GUE uncovered state, then X has state GUE displayed state or X has state GUE offscreen state
(=>
    (and
        (hasGUEState ?WINDOW GUE_UncoveredState)
        (hasGUEState ?WINDOW GUE_MaximizedWindowState))
    (hasGUEState ?WINDOW GUE_ActiveState))		 ComputerInput.kif 2120-2124 If X has state GUE uncovered state and X has state GUE maximized window state, then X has state GUE active 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
(=>
    (instance ?GUE GUIElement)
    (or
        (hasGUEState ?GUE GUE_CoveredState)
        (hasGUEState ?GUE GUE_OffscreenState)
        (hasGUEState ?GUE GUE_MinimizedState)
        (hasGUEState ?GUE GUE_DisplayedState)))		 ComputerInput.kif 2165-2171 If X is an instance of GUI element, then At least one of the following holds: (1) X has state GUE covered state (2) X has state GUE offscreen state (3) X has state GUE minimized state (4) X has state GUE displayed state
(=>
    (instance ?SELECT SelectingActiveArea)
    (exists (?ELEMENT)
        (and
            (instance ?ELEMENT GUIActiveArea)
            (holdsDuring
                (BeginFn ?SELECT)
                (hasGUEState ?ELEMENT GUE_ActiveState))
            (patient ?SELECT ?ELEMENT))))		 ComputerInput.kif 2206-2214 If X is an instance of selecting active area, then there exists Y such that Y is an instance of GUI active area, Y has state GUE active state holds during the beginning of X, and Y is a patient of X
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))		 ComputerInput.kif 2219-2226 If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of GUI active area, then Y has state GUE selected state holds during the beginning of X
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))		 ComputerInput.kif 2231-2238 If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of GUI active area, then Y has state GUE selected state holds during the end of X
(=>
    (and
        (instance ?ACT ActivatingUIElement)
        (patient ?ACT ?GUIE)
        (instance ?GUIE GUIElement))
    (and
        (holdsDuring
            (EndFn ?ACT)
            (hasGUEState ?GUIE GUE_ActiveState))
        (holdsDuring
            (BeginFn ?ACT)
            (not
                (hasGUEState ?GUIE GUE_ActiveState)))))		 ComputerInput.kif 2284-2293 If X is an instance of activating UI element, Y is a patient of X, and Y is an instance of GUI element, then Y has state GUE active state holds during the end of X and Y has state GUE active state holds during the beginning of X
(=>
    (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 2348-2359 If X is an instance of bringing GE to front, Y is a patient of X, Y is an instance of interface window, Y has state Z holds during the beginning of X, and Z is the opposite of GUE uncovered state, then Y has state Z holds during the end of X
(=>
    (and
        (instance ?ACT BringingGEToFront)
        (patient ?ACT ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (holdsDuring
        (EndFn ?ACT)
        (hasGUEState ?WINDOW GUE_UncoveredState)))		 ComputerInput.kif 2363-2370 If X is an instance of bringing GE to front, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE uncovered state holds during the end of X
(=>
    (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 2405-2414 If X is an instance of reopening graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE minimized state holds during the beginning of the time of existence of X and Y has state GUE minimized state holds during the end of the time of existence of X
(=>
    (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 2467-2476 If X is an instance of minimizing graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE minimized state holds during the end of the time of existence of X and Y has state GUE minimized state holds during the beginning of the time of existence of X
(=>
    (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 2485-2494 If X is an instance of maximizing graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE maximized window state holds during the end of the time of existence of X and Y has state GUE maximized window state holds during the beginning of the time of existence of X
(=>
    (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 2502-2511 If X is an instance of unmaximizing graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE maximized window state holds during the beginning of the time of existence of X and Y has state GUE maximized window state holds during the end of the time of existence of X
(=>
    (guiElementCovered ?COVERING ?GUIE)
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COVERING))
            (or
                (hasGUEState ?GUIE GUE_PartiallyCoveredState)
                (hasGUEState ?GUIE GUE_UncoveredState)))
        (holdsDuring
            (EndFn
                (WhenFn ?COVERING))
            (hasGUEState ?GUIE GUE_CoveredState))))		 ComputerInput.kif 2545-2553 If X covers Y, then Y has state GUE partially covered state or Y has state GUE uncovered state holds during the beginning of the time of existence of X and Y has state GUE covered state holds during the end of the time of existence of X
(=>
    (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
    (hasGUEState ?GUIE_BOTTOM GUE_CoveredState))		 ComputerInput.kif 2563-2565 If ?GUIE_BOTTOM is covered by ?GUIE_TOP, then ?GUIE_BOTTOM has state GUE covered state
(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_PartiallyCoveredState)))		 ComputerInput.kif 2590-2593 If X partially covers Y, then Y has state GUE partially covered state holds during the end of the time of existence of X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))		 ComputerInput.kif 1968-1971 ~{ X is an instance of mouse cursor } or ~{ X has state GUE active state }
(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))		 ComputerInput.kif 2027-2031 At least one of the following holds: (1) ~{ X has state GUE non visible state } (2) ~{ X has state GUE active state } (3) ~{ X is an instance of interface window }
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))		 ComputerInput.kif 2242-2245 ~{ X is an instance of cursor } or ~{ X has state GUE selected 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners