|
|
  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 1958-1960 | |
| (instance GUE_PassiveState GUElementState) | ComputerInput.kif 1957-1957 | GUE_PassiveState est une instance de GUElementState |
| appearance as argument number 2 |
|
|
| (contraryAttribute GUE_ActiveState GUE_PassiveState) | ComputerInput.kif 1961-1961 | GUE_ActiveState est l'oppos� de GUE_PassiveState |
| (subAttribute GUE_NonVisibleState GUE_PassiveState) | ComputerInput.kif 1995-1995 | GUE_NonVisibleState est un sous-attribut de GUE_PassiveState |
| (termFormat EnglishLanguage GUE_PassiveState "GUE passive state") | domainEnglishFormat.kif 64923-64923 |
| 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 |
|
| (=> (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 |
|
|
|
|