GUE_NonVisibleState - Sigma Knowledge base Browser

appearance as argument number 1

(instance GUE_NonVisibleState GUElementState)	ComputerInput.kif 1994-1994	GUE non visible state is an instance of GU element state
(subAttribute GUE_NonVisibleState GUE_PassiveState)	ComputerInput.kif 1995-1995	GUE non visible state is a subattribute of GUE passive state
(documentation GUE_NonVisibleState EnglishLanguage "A GUIElement has a GUE_NonVisibleState if it conceptually exists, but does not appear on a ComputerScreen.")	ComputerInput.kif 1996-1997	GUE non visible state is a subattribute of GUE passive state
(contraryAttribute GUE_NonVisibleState GUE_DisplayedState)	ComputerInput.kif 2017-2017	GUE non visible state is the opposite of GUE displayed state

appearance as argument number 2

(subAttribute GUE_OffscreenState GUE_NonVisibleState)	ComputerInput.kif 2020-2020	GUE offscreen state is a subattribute of GUE non visible state
(subAttribute GUE_MinimizedState GUE_NonVisibleState)	ComputerInput.kif 2038-2038	GUE minimized state is a subattribute of GUE non visible state
(subAttribute GUE_CoveredState GUE_NonVisibleState)	ComputerInput.kif 2074-2074	GUE covered state is a subattribute of GUE non visible state
(termFormat EnglishLanguage GUE_NonVisibleState "GUE non visible state")	domainEnglishFormat.kif 64895-64895	GUE covered state is a subattribute of GUE non visible state

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))

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

consequent

ComputerInput.kif 2001-2007

statement

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

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 }