TreeView Knowledge Base Browser

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

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 passive state, then ?GUIE_SM has state GUE passive state

consequent

(=> (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 1980-1988	If All of the following hold: (1) ?WINDOW_A is an instance of interface window (2) ?WINDOW_P is an instance of interface window (3) ?WINDOW_A is displayed on Y (4) ?WINDOW_P is displayed on Y (5) ?WINDOW_A has state GUE active state (6) equal ?WINDOW_A and ?WINDOW_P, then ?WINDOW_P has state GUE passive state
(=> (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 1993-1999	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 passive state, then ?GUIE_SM has state GUE passive state

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

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