Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUE_PassiveState
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 1973-1975
(instance GUE_PassiveState GUElementState) ComputerInput.kif 1972-1972 GUE_PassiveState is an instance of GUElementState

appearance as argument number 2
-------------------------


(contraryAttribute GUE_ActiveState GUE_PassiveState) ComputerInput.kif 1976-1976 GUE_ActiveState is the opposite of GUE_PassiveState
(subAttribute GUE_NonVisibleState GUE_PassiveState) ComputerInput.kif 2010-2010 GUE_NonVisibleState is a subattribute of GUE_PassiveState

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 1992-1998

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 1992-1998
(=>
    (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 1979-1987


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners