hasGUEState - Sigma Knowledge base Browser

appearance as argument number 1

(documentation hasGUEState EnglishLanguage "(hasGUEState ?GUIE ?STATE) means that the GUIElement ?GUIE has the GUElementState, ?STATE.")	ComputerInput.kif 1882-1883
(domain hasGUEState 1 GUIElement)	ComputerInput.kif 1880-1880	The number 1 argument of hasGUEState is an instance of GUIElement
(domain hasGUEState 2 GUElementState)	ComputerInput.kif 1881-1881	The number 2 argument of hasGUEState is an instance of GUElementState
(instance hasGUEState BinaryPredicate)	ComputerInput.kif 1878-1878	hasGUEState is an instance of binary predicate
(subrelation hasGUEState attribute)	ComputerInput.kif 1879-1879	hasGUEState is a subrelation of attribute

appearance as argument number 2

(format ChineseLanguage hasGUEState "%1 有 state %2 ")	domainEnglishFormat.kif 3615-3615
(format ChineseTraditionalLanguage hasGUEState "%1 有 state %2 ")	domainEnglishFormat.kif 3614-3614
(format EnglishLanguage hasGUEState "%1 has state %2")	domainEnglishFormat.kif 3613-3613

antecedent

(=> (and (hasGUEState ?WIN1 GUE_UncoveredState) (hasGUEState ?WIN1 GUE_MaximizedWindowState) (screenOfGUIE ?WIN1 ?SCREEN) (instance ?WIN2 InterfaceWindow) (screenOfGUIE ?WIN2 ?SCREEN) (not (equal ?WIN1 ?WIN2))) (or (hasGUEState ?WIN2 GUE_CoveredState) (hasGUEState ?WIN2 GUE_PartiallyCoveredState) (hasGUEState ?WIN2 GUE_OffscreenState)))	ComputerInput.kif 2117-2128	If a GUIElement has state GUE_UncoveredState and the GUIElement has state GUE_MaximizedWindowState and the GUIElement is displayed on a ComputerScreen and another GUIElement is an instance of InterfaceWindow and the other GUIElement is displayed on the ComputerScreen and the GUIElement is not equal to the other GUIElement, then the other GUIElement has state GUE_CoveredState or the other GUIElement has state GUE_PartiallyCoveredState or the other GUIElement has state GUE_OffscreenState
(=> (and (hasGUEState ?WINDOW GUE_UncoveredState) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (hasGUEState ?WINDOW GUE_ActiveState))	ComputerInput.kif 2101-2105	If a GUIElement has state GUE_UncoveredState and the GUIElement has state GUE_MaximizedWindowState, then the GUIElement has state GUE_ActiveState
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow) (holdsDuring (BeginFn ?ACT) (hasGUEState ?WINDOW ?STATE)) (contraryAttribute ?STATE GUE_UncoveredState)) (holdsDuring (EndFn ?ACT) (not (hasGUEState ?WINDOW ?STATE))))	ComputerInput.kif 2329-2340	If a time interval is an instance of BringingGEToFront and an entity is a patient of the time interval and the entity is an instance of InterfaceWindow and the entity has state an attribute holds during the beginning of the time interval and the attribute is the opposite of GUE_UncoveredState, then not the entity has state the attribute holds during the end of the time interval
(=> (and (instance ?GUIE1 GUIElement) (hasGUEState ?GUIE1 GUE_ActiveState) (properPart ?GUIE1 ?GUIE2) (instance ?GUIE2 GUIElement)) (hasGUEState ?GUIE2 GUE_ActiveState))	ComputerInput.kif 1906-1912	If a GUIElement is an instance of GUIElement and the GUIElement has state GUE_ActiveState and the GUIElement is a proper part of another GUIElement and the other GUIElement is an instance of GUIElement, then the other GUIElement has state GUE_ActiveState
(=> (and (instance ?GUIE1 GUIElement) (instance ?GUIE2 GUIElement) (not (instance ?GUIE1 InterfaceWindow)) (not (instance ?GUIE2 InterfaceWindow)) (screenOfGUIE ?GUIE1 ?SCREEN) (screenOfGUIE ?GUIE2 ?SCREEN) (hasGUEState ?GUIE1 GUE_ActiveState) (hasGUEState ?GUIE2 GUE_ActiveState)) (or (properPart ?GUIE1 ?GUIE2) (properPart ?GUIE2 ?GUIE1) (equal ?GUIE1 ?GUIE2)))	ComputerInput.kif 1932-1945	If a GUIElement is an instance of GUIElement and another GUIElement is an instance of GUIElement and the GUIElement is not an instance of InterfaceWindow and the other GUIElement is not an instance of InterfaceWindow and the GUIElement is displayed on a ComputerScreen and the other GUIElement is displayed on the ComputerScreen and the GUIElement has state GUE_ActiveState and the other GUIElement has state GUE_ActiveState, then the GUIElement is a proper part of the other GUIElement or the other GUIElement is a proper part of the GUIElement or the GUIElement is equal to the other GUIElement
(=> (and (instance ?GUIE_SM GUIElement) (instance ?GUIE_BIG GUIElement) (properPart ?GUIE_SM ?GUIE_BIG) (hasGUEState ?GUIE_BIG GUE_CoveredState)) (hasGUEState ?GUIE_SM GUE_CoveredState))	ComputerInput.kif 2079-2085	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_CoveredState, then the entity_SM has state GUE_CoveredState
(=> (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 1998-2004	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_NonVisibleState, then the entity_SM has state GUE_NonVisibleState
(=> (and (instance ?GUIE_SM GUIElement) (instance ?GUIE_BIG GUIElement) (properPart ?GUIE_SM ?GUIE_BIG) (hasGUEState ?GUIE_BIG GUE_OffscreenState)) (hasGUEState ?GUIE_SM GUE_OffscreenState))	ComputerInput.kif 2026-2032	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_OffscreenState, then the entity_SM has state GUE_OffscreenState
(=> (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 1974-1980	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_PassiveState, then the entity_SM has state GUE_PassiveState
(=> (and (instance ?WINDOW InterfaceWindow) (instance ?GUIE GUIElement) (screenOfGUIE ?WINDOW ?SCREEN) (screenOfGUIE ?GUIE ?SCREEN) (not (instance ?GUIE InterfaceWindow)) (hasGUEState ?WINDOW GUE_ActiveState) (hasGUEState ?GUIE GUE_ActiveState)) (properPart ?GUIE ?WINDOW))	ComputerInput.kif 1917-1926	If a GUIElement is an instance of InterfaceWindow and another GUIElement is an instance of GUIElement and the GUIElement is displayed on a ComputerScreen and the other GUIElement is displayed on the ComputerScreen and the other GUIElement is not an instance of InterfaceWindow and the GUIElement has state GUE_ActiveState and the other GUIElement has state GUE_ActiveState, then the other GUIElement is a proper part of the GUIElement
(=> (and (instance ?WINDOW1 InterfaceWindow) (instance ?WINDOW2 InterfaceWindow) (screenOfGUIE ?WINDOW1 ?SCREEN) (screenOfGUIE ?WINDOW2 ?SCREEN) (hasGUEState ?WINDOW1 GUE_ActiveState) (hasGUEState ?WINDOW1 GUE_ActiveState)) (equal ?WINDOW1 ?WINDOW2))	ComputerInput.kif 1893-1901	If a GUIElement is an instance of InterfaceWindow and another GUIElement is an instance of InterfaceWindow and the GUIElement is displayed on a ComputerScreen and the other GUIElement is displayed on the ComputerScreen and the GUIElement has state GUE_ActiveState and the GUIElement has state GUE_ActiveState, then the GUIElement is equal to the other GUIElement
(=> (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 1961-1969	If an entity_A is an instance of InterfaceWindow and the entity_P is an instance of InterfaceWindow and the entity_A is displayed on a ComputerScreen and the entity_P is displayed on the ComputerScreen and the entity_A has state GUE_ActiveState and the entity_A is not equal to the entity_P, then the entity_P has state GUE_PassiveState
(=> (hasGUEState ?GUIE GUE_MaximizedWindowState) (instance ?GUIE InterfaceWindow))	ComputerInput.kif 2048-2050	If a GUIElement has state GUE_MaximizedWindowState, then the GUIElement is an instance of InterfaceWindow
(=> (hasGUEState ?GUIE GUE_VerticallyMaximizedWindowState) (instance ?GUIE InterfaceWindow))	ComputerInput.kif 2062-2064	If a GUIElement has state GUE_VerticallyMaximizedWindowState, then the GUIElement is an instance of InterfaceWindow
(=> (hasGUEState ?WIN1 GUE_UncoveredState) (or (hasGUEState ?WIN1 GUE_DisplayedState) (hasGUEState ?WIN1 GUE_OffscreenState)))	ComputerInput.kif 2093-2097	If a GUIElement has state GUE_UncoveredState, then the GUIElement has state GUE_DisplayedState or the GUIElement has state GUE_OffscreenState

consequent

(=> (and (hasGUEState ?WIN1 GUE_UncoveredState) (hasGUEState ?WIN1 GUE_MaximizedWindowState) (screenOfGUIE ?WIN1 ?SCREEN) (instance ?WIN2 InterfaceWindow) (screenOfGUIE ?WIN2 ?SCREEN) (not (equal ?WIN1 ?WIN2))) (or (hasGUEState ?WIN2 GUE_CoveredState) (hasGUEState ?WIN2 GUE_PartiallyCoveredState) (hasGUEState ?WIN2 GUE_OffscreenState)))	ComputerInput.kif 2117-2128	If a GUIElement has state GUE_UncoveredState and the GUIElement has state GUE_MaximizedWindowState and the GUIElement is displayed on a ComputerScreen and another GUIElement is an instance of InterfaceWindow and the other GUIElement is displayed on the ComputerScreen and the GUIElement is not equal to the other GUIElement, then the other GUIElement has state GUE_CoveredState or the other GUIElement has state GUE_PartiallyCoveredState or the other GUIElement has state GUE_OffscreenState
(=> (and (hasGUEState ?WINDOW GUE_UncoveredState) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (hasGUEState ?WINDOW GUE_ActiveState))	ComputerInput.kif 2101-2105	If a GUIElement has state GUE_UncoveredState and the GUIElement has state GUE_MaximizedWindowState, then the GUIElement has state GUE_ActiveState
(=> (and (instance ?ACT ActivatingUIElement) (patient ?ACT ?GUIE) (instance ?GUIE GUIElement)) (and (holdsDuring (EndFn ?SELECT) (hasGUEState ?GUIE GUE_ActiveState)) (holdsDuring (StartFn ?SELECT) (not (hasGUEState ?GUIE GUE_ActiveState)))))	ComputerInput.kif 2265-2274	If a process is an instance of ActivatingUIElement and an entity is a patient of the process and the entity is an instance of GUIElement, then the entity has state GUE_ActiveState holds during the end of a time interval and not the entity has state GUE_ActiveState holds during the start of the time interval
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow) (holdsDuring (BeginFn ?ACT) (hasGUEState ?WINDOW ?STATE)) (contraryAttribute ?STATE GUE_UncoveredState)) (holdsDuring (EndFn ?ACT) (not (hasGUEState ?WINDOW ?STATE))))	ComputerInput.kif 2329-2340	If a time interval is an instance of BringingGEToFront and an entity is a patient of the time interval and the entity is an instance of InterfaceWindow and the entity has state an attribute holds during the beginning of the time interval and the attribute is the opposite of GUE_UncoveredState, then not the entity has state the attribute holds during the end of the time interval
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow)) (holdsDuring (EndFn ?ACT) (hasGUEState ?WINDOW GUE_UncoveredState)))	ComputerInput.kif 2344-2351	If a time interval is an instance of BringingGEToFront and an entity is a patient of the time interval and the entity is an instance of InterfaceWindow, then the entity has state GUE_UncoveredState holds during the end of the time interval
(=> (and (instance ?GUIE1 GUIElement) (hasGUEState ?GUIE1 GUE_ActiveState) (properPart ?GUIE1 ?GUIE2) (instance ?GUIE2 GUIElement)) (hasGUEState ?GUIE2 GUE_ActiveState))	ComputerInput.kif 1906-1912	If a GUIElement is an instance of GUIElement and the GUIElement has state GUE_ActiveState and the GUIElement is a proper part of another GUIElement and the other GUIElement is an instance of GUIElement, then the other GUIElement has state GUE_ActiveState
(=> (and (instance ?GUIE_SM GUIElement) (instance ?GUIE_BIG GUIElement) (properPart ?GUIE_SM ?GUIE_BIG) (hasGUEState ?GUIE_BIG GUE_CoveredState)) (hasGUEState ?GUIE_SM GUE_CoveredState))	ComputerInput.kif 2079-2085	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_CoveredState, then the entity_SM has state GUE_CoveredState
(=> (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 1998-2004	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_NonVisibleState, then the entity_SM has state GUE_NonVisibleState
(=> (and (instance ?GUIE_SM GUIElement) (instance ?GUIE_BIG GUIElement) (properPart ?GUIE_SM ?GUIE_BIG) (hasGUEState ?GUIE_BIG GUE_OffscreenState)) (hasGUEState ?GUIE_SM GUE_OffscreenState))	ComputerInput.kif 2026-2032	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_OffscreenState, then the entity_SM has state GUE_OffscreenState
(=> (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 1974-1980	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_PassiveState, then the entity_SM has state GUE_PassiveState
(=> (and (instance ?OPEN MaximizingGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (EndFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (holdsDuring (BeginFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MaximizedWindowState)))))	ComputerInput.kif 2466-2475	If a process is an instance of MaximizingGraphicalWindow and an entity is a patient of the process and the entity is an instance of InterfaceWindow, then the entity has state GUE_MaximizedWindowState holds during the end of the time of existence of the process and not the entity has state GUE_MaximizedWindowState holds during the beginning of the time of existence of the process
(=> (and (instance ?OPEN MinimizingGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (EndFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MinimizedState)) (holdsDuring (BeginFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MinimizedState)))))	ComputerInput.kif 2448-2457	If a process is an instance of MinimizingGraphicalWindow and an entity is a patient of the process and the entity is an instance of InterfaceWindow, then the entity has state GUE_MinimizedState holds during the end of the time of existence of the process and not the entity has state GUE_MinimizedState holds during the beginning of the time of existence of the process
(=> (and (instance ?OPEN ReopeningGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (BeginFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MinimizedState)) (holdsDuring (EndFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MinimizedState)))))	ComputerInput.kif 2386-2395	If a process is an instance of ReopeningGraphicalWindow and an entity is a patient of the process and the entity is an instance of InterfaceWindow, then the entity has state GUE_MinimizedState holds during the beginning of the time of existence of the process and not the entity has state GUE_MinimizedState holds during the end of the time of existence of the process
(=> (and (instance ?SELECT SelectingActiveArea) (patient ?SELECT ?ELEMENT) (instance ?ELEMENT GUIActiveArea)) (holdsDuring (BeginFn ?SELECT) (not (hasGUEState ?ELEMENT GUE_SelectedState))))	ComputerInput.kif 2200-2207	If a time interval is an instance of SelectingActiveArea and an entity is a patient of the time interval and the entity is an instance of GUIActiveArea, then not the entity has state GUE_SelectedState holds during the beginning of the time interval
(=> (and (instance ?SELECT SelectingActiveArea) (patient ?SELECT ?ELEMENT) (instance ?ELEMENT GUIActiveArea)) (holdsDuring (EndFn ?SELECT) (hasGUEState ?ELEMENT GUE_SelectedState)))	ComputerInput.kif 2212-2219	If a time interval is an instance of SelectingActiveArea and an entity is a patient of the time interval and the entity is an instance of GUIActiveArea, then the entity has state GUE_SelectedState holds during the end of the time interval
(=> (and (instance ?UNMAX UnmaximizingGraphicalWindow) (patient ?UNMAX ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (BeginFn (WhenFn ?UNMAX)) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (holdsDuring (EndFn (WhenFn ?UNMAX)) (not (hasGUEState ?WINDOW GUE_MaximizedWindowState)))))	ComputerInput.kif 2483-2492	If a process is an instance of UnmaximizingGraphicalWindow and an entity is a patient of the process and the entity is an instance of InterfaceWindow, then the entity has state GUE_MaximizedWindowState holds during the beginning of the time of existence of the process and not the entity has state GUE_MaximizedWindowState holds during the end of the time of existence of the process
(=> (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 1961-1969	If an entity_A is an instance of InterfaceWindow and the entity_P is an instance of InterfaceWindow and the entity_A is displayed on a ComputerScreen and the entity_P is displayed on the ComputerScreen and the entity_A has state GUE_ActiveState and the entity_A is not equal to the entity_P, then the entity_P has state GUE_PassiveState
(=> (guiElementCovered ?COVERING ?GUIE) (and (holdsDuring (BeginFn (WhenFn ?COVERING)) (or (hasGUEState ?GUIE GUE_PartiallyCoveredState) (hasGUEState ?GUIE GUE_UncoveredState))) (holdsDuring (EndFn (WhenFn ?COVERING)) (hasGUEState ?GUIE GUE_CoveredState))))	ComputerInput.kif 2525-2533	If a CoveringGUIElement covers a GUIElement, then the GUIElement has state GUE_PartiallyCoveredState or the GUIElement has state GUE_UncoveredState holds during the beginning of the time of existence of the CoveringGUIElement and the GUIElement has state GUE_CoveredState holds during the end of the time of existence of the CoveringGUIElement
(=> (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP) (hasGUEState ?GUIE_BOTTOM GUE_CoveredState))	ComputerInput.kif 2543-2545	If an entity_BOTTOM is covered by the entity_TOP, then the entity_BOTTOM has state GUE_CoveredState
(=> (guiElementPartiallyCovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState)))	ComputerInput.kif 2570-2573	If a PartiallyCoveringGraphicalWindow partially covers a GUIElement, then the GUIElement has state GUE_PartiallyCoveredState holds during the end of the time of existence of the PartiallyCoveringGraphicalWindow
(=> (guiElementPartiallyCovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState))))	ComputerInput.kif 2578-2584	If a PartiallyCoveringGraphicalWindow partially covers a GUIElement, then the GUIElement has state GUE_UncoveredState holds during the beginning of the time of existence of the PartiallyCoveringGraphicalWindow or the GUIElement has state GUE_PartiallyCoveredState holds during the beginning of the time of existence of the PartiallyCoveringGraphicalWindow
(=> (guiElementUncovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)))	ComputerInput.kif 2637-2640	If an UncoveringGraphicalWindow uncovers a GUIElement, then the GUIElement has state GUE_UncoveredState holds during the end of the time of existence of the UncoveringGraphicalWindow
(=> (guiElementUncovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_CoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState))))	ComputerInput.kif 2645-2651	If an UncoveringGraphicalWindow uncovers a GUIElement, then the GUIElement has state GUE_CoveredState holds during the beginning of the time of existence of the UncoveringGraphicalWindow or the GUIElement has state GUE_PartiallyCoveredState holds during the beginning of the time of existence of the UncoveringGraphicalWindow
(=> (hasGUEState ?WIN1 GUE_UncoveredState) (or (hasGUEState ?WIN1 GUE_DisplayedState) (hasGUEState ?WIN1 GUE_OffscreenState)))	ComputerInput.kif 2093-2097	If a GUIElement has state GUE_UncoveredState, then the GUIElement has state GUE_DisplayedState or the GUIElement has state GUE_OffscreenState
(=> (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_DisplayedState))	ComputerInput.kif 1987-1989	If a GUIElement is an instance of MouseCursor, then the GUIElement has state GUE_DisplayedState

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(not (and (hasGUEState ?WINDOW GUE_NonVisibleState) (hasGUEState ?WINDOW GUE_ActiveState) (instance ?WINDOW InterfaceWindow)))	ComputerInput.kif 2008-2012	~{ A GUIElement has state GUE_NonVisibleState } or ~{ the GUIElement has state GUE_ActiveState } or ~{ the GUIElement is an instance of InterfaceWindow }
(not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState)))	ComputerInput.kif 2223-2226	~{ A GUIElement is an instance of Cursor } or ~{ the GUIElement has state GUE_SelectedState }
(not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState)))	ComputerInput.kif 1949-1952	~{ A GUIElement is an instance of MouseCursor } or ~{ the GUIElement has state GUE_ActiveState }

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

KB Term:			Term intersection

English Word: