TreeView Knowledge Base Browser - GUE

appearance as argument number 1

(contraryAttribute GUE_NonVisibleState GUE_DisplayedState)	ComputerInput.kif 2014-2014	contraryAttribute GUE_NonVisibleState and GUE_DisplayedState
(documentation GUE_NonVisibleState EnglishLanguage "A GUIElement has a GUE_NonVisibleState if it conceptually exists, but does not appear on a ComputerScreen.")	ComputerInput.kif 1993-1994
(instance GUE_NonVisibleState GUElementState)	ComputerInput.kif 1991-1991	instance GUE_NonVisibleState and GUElementState
(subAttribute GUE_NonVisibleState GUE_PassiveState)	ComputerInput.kif 1992-1992	subAttribute GUE_NonVisibleState and GUE_PassiveState

appearance as argument number 2

(subAttribute GUE_CoveredState GUE_NonVisibleState)	ComputerInput.kif 2071-2071	subAttribute GUE_CoveredState and GUE_NonVisibleState
(subAttribute GUE_MinimizedState GUE_NonVisibleState)	ComputerInput.kif 2035-2035	subAttribute GUE_MinimizedState and GUE_NonVisibleState
(subAttribute GUE_OffscreenState GUE_NonVisibleState)	ComputerInput.kif 2017-2017	subAttribute GUE_OffscreenState and GUE_NonVisibleState

antecedent

(=>
    (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 1998-2004

consequent

ComputerInput.kif 1998-2004

statement

(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))

ComputerInput.kif 2008-2012