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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GUE_NonVisibleState

Sigma KEE - GUE_NonVisibleState
GUE_NonVisibleState

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


(contraryAttribute GUE_NonVisibleState GUE_DisplayedState) ComputerInput.kif 2017-2017
(documentation GUE_NonVisibleState EnglishLanguage "A GUIElement has a GUE_NonVisibleState if it conceptually exists, but does not appear on a ComputerScreen.") ComputerInput.kif 1996-1997
(instance GUE_NonVisibleState GUElementState) ComputerInput.kif 1994-1994
(subAttribute GUE_NonVisibleState GUE_PassiveState) ComputerInput.kif 1995-1995

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


(subAttribute GUE_CoveredState GUE_NonVisibleState) ComputerInput.kif 2074-2074
(subAttribute GUE_MinimizedState GUE_NonVisibleState) ComputerInput.kif 2038-2038
(subAttribute GUE_OffscreenState GUE_NonVisibleState) ComputerInput.kif 2020-2020
(termFormat EnglishLanguage GUE_NonVisibleState "GUE non visible state") domainEnglishFormat.kif 64908-64908

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 2001-2007

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 2001-2007

statement
-------------------------


(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))
ComputerInput.kif 2011-2015


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 is open source software produced by Articulate Software and its partners