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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUE_NonVisibleState
GUE_NonVisibleState

appearance as argument number 1
-------------------------


(contraryAttribute GUE_NonVisibleState GUE_DisplayedState) ComputerInput.kif 1605-1605 contraryAttribute GUE_NonVisibleState and GUE_DisplayedState
(documentation GUE_NonVisibleState EnglishLanguage "A GUIElement has a GUE_NonVisibleState if it conceptually exists, but does not appear on a ComputerScreen.") ComputerInput.kif 1585-1585
(instance GUE_NonVisibleState GUElementState) ComputerInput.kif 1583-1583 instance GUE_NonVisibleState and GUElementState
(subAttribute GUE_NonVisibleState GUE_PassiveState) ComputerInput.kif 1584-1584 subAttribute GUE_NonVisibleState and GUE_PassiveState

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


(subAttribute GUE_CoveredState GUE_NonVisibleState) ComputerInput.kif 1651-1651 subAttribute GUE_CoveredState and GUE_NonVisibleState
(subAttribute GUE_MinimizedState GUE_NonVisibleState) ComputerInput.kif 1622-1622 subAttribute GUE_MinimizedState and GUE_NonVisibleState
(subAttribute GUE_OffscreenState GUE_NonVisibleState) ComputerInput.kif 1608-1608 subAttribute GUE_OffscreenState and GUE_NonVisibleState

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))
ComputerInput.kif 1589-1595

consequent
-------------------------


(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_NonVisibleState))
    (hasGUEState ?GUIE_SM GUE_NonVisibleState))
ComputerInput.kif 1589-1595