Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  BodySideFn

 Sigma KEE - GUE_DisplayedState
GUE_DisplayedState(GUE displayed state)

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


(instance GUE_DisplayedState GUElementState) ComputerInput.kif 2001-2001 GUE displayed state is an instance of GU element state
(documentation GUE_DisplayedState EnglishLanguage "A GUIElement has a GUE_DisplayedState if it at least partially appears on a ComputerScreen.") ComputerInput.kif 2002-2003 GUE displayed state is an instance of GU element state

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


(contraryAttribute GUE_NonVisibleState GUE_DisplayedState) ComputerInput.kif 2033-2033 GUE non visible state is the opposite of GUE displayed state
(termFormat EnglishLanguage GUE_DisplayedState "GUE displayed state") domainEnglishFormat.kif 64907-64907 GUE non visible state is the opposite of GUE displayed state

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


(=>
    (instance ?CURSOR MouseCursor)
    (hasGUEState ?CURSOR GUE_DisplayedState))		 ComputerInput.kif 2006-2008 If X is an instance of mouse cursor, then X has state GUE displayed state
(=>
    (hasGUEState ?WIN1 GUE_UncoveredState)
    (or
        (hasGUEState ?WIN1 GUE_DisplayedState)
        (hasGUEState ?WIN1 GUE_OffscreenState)))		 ComputerInput.kif 2112-2116 If X has state GUE uncovered state, then X has state GUE displayed state or X has state GUE offscreen state
(=>
    (instance ?GUE GUIElement)
    (or
        (hasGUEState ?GUE GUE_CoveredState)
        (hasGUEState ?GUE GUE_OffscreenState)
        (hasGUEState ?GUE GUE_MinimizedState)
        (hasGUEState ?GUE GUE_DisplayedState)))		 ComputerInput.kif 2165-2171 If X is an instance of GUI element, then At least one of the following holds: (1) X has state GUE covered state (2) X has state GUE offscreen state (3) X has state GUE minimized state (4) X has state GUE displayed state


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners