GUE_PassiveState - Sigma Knowledge base Browser

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 1958-1960
(instance GUE_PassiveState GUElementState)	ComputerInput.kif 1957-1957	GUE passive state is an instance of GU element state

appearance as argument number 2

(contraryAttribute GUE_ActiveState GUE_PassiveState)	ComputerInput.kif 1961-1961	GUE active state is the opposite of GUE passive state
(subAttribute GUE_NonVisibleState GUE_PassiveState)	ComputerInput.kif 1995-1995	GUE non visible state is a subattribute of GUE passive state
(termFormat EnglishLanguage GUE_PassiveState "GUE passive state")	domainEnglishFormat.kif 64959-64959	GUE non visible state is a subattribute of GUE passive state

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 1977-1983

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 1977-1983	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE passive state, then the entity_SM has state GUE passive 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 1964-1972	If an entity_A is an instance of interface window and the entity_P is an instance of interface window and the entity_A is displayed on a computer screen and the entity_P is displayed on the computer screen and the entity_A has state GUE active state and the entity_A is not equal to the entity_P, then the entity_P has state GUE passive state