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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUE_PassiveState
GUE_PassiveState

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


(documentation GUE_PassiveState EnglishLanguage "The GUElementState of not being ready to accept user clicks or keyboard activity. Whenever an InterfaceWindow is passive at a time, any GUIElement that is part of that window is also passive.") ComputerInput.kif 1987-1989
(instance GUE_PassiveState GUElementState) ComputerInput.kif 1986-1986 GUE_PassiveState is an instance of GUElementState

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


(contraryAttribute GUE_ActiveState GUE_PassiveState) ComputerInput.kif 1990-1990 GUE_ActiveState is the opposite of GUE_PassiveState
(subAttribute GUE_NonVisibleState GUE_PassiveState) ComputerInput.kif 2024-2024 GUE_NonVisibleState is a subattribute of GUE_PassiveState

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


(=>
    (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 2006-2012

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


(=>
    (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 2006-2012
(=>
    (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 1993-2001


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