| appearance as argument number 1 |
|
| (contraryAttribute GUE_NonVisibleState GUE_DisplayedState) | ComputerInput.kif 2017-2017 | GUE_NonVisibleState is the opposite of 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 1996-1997 | GUE_NonVisibleState is the opposite of GUE_DisplayedState |
| (instance GUE_NonVisibleState GUElementState) | ComputerInput.kif 1994-1994 | GUE_NonVisibleState is an instance of GUElementState |
| (subAttribute GUE_NonVisibleState GUE_PassiveState) | ComputerInput.kif 1995-1995 | GUE_NonVisibleState is a subattribute of GUE_PassiveState |
| appearance as argument number 2 |
|
|
| (subAttribute GUE_CoveredState GUE_NonVisibleState) | ComputerInput.kif 2074-2074 | GUE_CoveredState is a subattribute of GUE_NonVisibleState |
| (subAttribute GUE_MinimizedState GUE_NonVisibleState) | ComputerInput.kif 2038-2038 | GUE_MinimizedState is a subattribute of GUE_NonVisibleState |
| (subAttribute GUE_OffscreenState GUE_NonVisibleState) | ComputerInput.kif 2020-2020 | GUE_OffscreenState is a subattribute of GUE_NonVisibleState |
| (termFormat EnglishLanguage GUE_NonVisibleState "GUE non visible state") | domainEnglishFormat.kif 64901-64901 | GUE_OffscreenState is a subattribute of 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 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 | ~{ hasGUEState a GUIElement and GUE_NonVisibleState } or ~{ hasGUEState the GUIElement and GUE_ActiveState } or ~{ the GUIElement is an instance of InterfaceWindow } |
|
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 3.0 is open source software produced by Articulate Software and its partners