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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasGUEState

 Sigma KEE - hasGUEState
hasGUEState

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


(documentation hasGUEState EnglishLanguage "(hasGUEState ?GUIE ?STATE) means that the GUIElement ?GUIE has the GUElementState, ?STATE.") ComputerInput.kif 1885-1886
(domain hasGUEState 1 GUIElement) ComputerInput.kif 1883-1883
(domain hasGUEState 2 GUElementState) ComputerInput.kif 1884-1884
(instance hasGUEState BinaryPredicate) ComputerInput.kif 1881-1881
(subrelation hasGUEState attribute) ComputerInput.kif 1882-1882

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


(format ChineseLanguage hasGUEState "%1 有 state %2 ") domainEnglishFormat.kif 3610-3610
(format ChineseTraditionalLanguage hasGUEState "%1 有 state %2 ") domainEnglishFormat.kif 3609-3609
(format EnglishLanguage hasGUEState "%1 has state %2") domainEnglishFormat.kif 3608-3608
(termFormat EnglishLanguage hasGUEState "has GUE state") domainEnglishFormat.kif 65849-65849

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
(=>
    (and
        (hasGUEState ?WINDOW GUE_UncoveredState)
        (hasGUEState ?WINDOW GUE_MaximizedWindowState))
    (hasGUEState ?WINDOW GUE_ActiveState))		 ComputerInput.kif 2104-2108
(=>
    (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
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (properPart ?GUIE1 ?GUIE2)
        (instance ?GUIE2 GUIElement))
    (hasGUEState ?GUIE2 GUE_ActiveState))		 ComputerInput.kif 1909-1915
(=>
    (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
(=>
    (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 2082-2088
(=>
    (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 2001-2007
(=>
    (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 2029-2035
(=>
    (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 1977-1983
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (hasGUEState ?GUIE GUE_MaximizedWindowState)
    (instance ?GUIE InterfaceWindow))		 ComputerInput.kif 2051-2053
(=>
    (hasGUEState ?GUIE GUE_VerticallyMaximizedWindowState)
    (instance ?GUIE InterfaceWindow))		 ComputerInput.kif 2065-2067
(=>
    (hasGUEState ?WIN1 GUE_UncoveredState)
    (or
        (hasGUEState ?WIN1 GUE_DisplayedState)
        (hasGUEState ?WIN1 GUE_OffscreenState)))		 ComputerInput.kif 2096-2100

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


(=>
    (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
(=>
    (and
        (hasGUEState ?WINDOW GUE_UncoveredState)
        (hasGUEState ?WINDOW GUE_MaximizedWindowState))
    (hasGUEState ?WINDOW GUE_ActiveState))		 ComputerInput.kif 2104-2108
(=>
    (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 2268-2277
(=>
    (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
(=>
    (and
        (instance ?ACT BringingGEToFront)
        (patient ?ACT ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (holdsDuring
        (EndFn ?ACT)
        (hasGUEState ?WINDOW GUE_UncoveredState)))		 ComputerInput.kif 2347-2354
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (properPart ?GUIE1 ?GUIE2)
        (instance ?GUIE2 GUIElement))
    (hasGUEState ?GUIE2 GUE_ActiveState))		 ComputerInput.kif 1909-1915
(=>
    (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 2082-2088
(=>
    (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 2001-2007
(=>
    (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 2029-2035
(=>
    (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 1977-1983
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))		 ComputerInput.kif 2203-2210
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))		 ComputerInput.kif 2215-2222
(=>
    (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
(=>
    (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
(=>
    (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 2529-2537
(=>
    (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
    (hasGUEState ?GUIE_BOTTOM GUE_CoveredState))		 ComputerInput.kif 2547-2549
(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_PartiallyCoveredState)))		 ComputerInput.kif 2574-2577
(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_UncoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))		 ComputerInput.kif 2582-2588
(=>
    (guiElementUncovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_UncoveredState)))		 ComputerInput.kif 2641-2644
(=>
    (guiElementUncovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_CoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))		 ComputerInput.kif 2649-2655
(=>
    (hasGUEState ?WIN1 GUE_UncoveredState)
    (or
        (hasGUEState ?WIN1 GUE_DisplayedState)
        (hasGUEState ?WIN1 GUE_OffscreenState)))		 ComputerInput.kif 2096-2100
(=>
    (instance ?CURSOR MouseCursor)
    (hasGUEState ?CURSOR GUE_DisplayedState))		 ComputerInput.kif 1990-1992

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))		 ComputerInput.kif 2011-2015
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))		 ComputerInput.kif 2226-2229
(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))		 ComputerInput.kif 1952-1955


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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