GUIActiveArea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - GUIActiveArea

GUIActiveArea

appearance as argument number 1

(documentation GUIActiveArea EnglishLanguage "A GUIActiveArea is a (normally rectangular) GUIElement which a user can make active (change its state to GUI_ActiveState), select, and interact with.")	ComputerInput.kif 878-879
(subclass GUIActiveArea GUIElement)	ComputerInput.kif 877-877	GUIActiveArea is a subclass of GUIElement

appearance as argument number 2

(disjoint MouseCursor GUIActiveArea)	ComputerInput.kif 1063-1063	MouseCursor is disjoint from GUIActiveArea
(subclass ComputerMenuItem GUIActiveArea)	ComputerInput.kif 1127-1127	ComputerMenuItem is a subclass of GUIActiveArea
(subclass ComputerTouchscreenKeyboard GUIActiveArea)	ComputerInput.kif 882-882	ComputerTouchscreenKeyboard is a subclass of GUIActiveArea
(subclass ComputerTouchscreenKeypad GUIActiveArea)	ComputerInput.kif 881-881	ComputerTouchscreenKeypad is a subclass of GUIActiveArea
(subclass GUIButton GUIActiveArea)	ComputerInput.kif 927-927	GUIButton is a subclass of GUIActiveArea
(subclass GUICheckBox GUIActiveArea)	ComputerInput.kif 1115-1115	GUICheckBox is a subclass of GUIActiveArea
(subclass GUISlider GUIActiveArea)	ComputerInput.kif 1023-1023	GUISlider is a subclass of GUIActiveArea
(subclass GUISliderIndicator GUIActiveArea)	ComputerInput.kif 1035-1035	GUISliderIndicator is a subclass of GUIActiveArea
(subclass GUI_Link GUIActiveArea)	ComputerInput.kif 1159-1159	GUI_Link is a subclass of GUIActiveArea
(subclass GraphicalComputerMenu GUIActiveArea)	ComputerInput.kif 885-885	GraphicalComputerMenu is a subclass of GUIActiveArea
(subclass GraphicalMenuItem GUIActiveArea)	ComputerInput.kif 1142-1142	GraphicalMenuItem is a subclass of GUIActiveArea
(subclass HoverBoxActiveArea GUIActiveArea)	ComputerInput.kif 1095-1095	HoverBoxActiveArea is a subclass of GUIActiveArea
(subclass ScrollBar GUIActiveArea)	ComputerInput.kif 945-945	ScrollBar is a subclass of GUIActiveArea
(subclass ScrollBarBar GUIActiveArea)	ComputerInput.kif 970-970	ScrollBarBar is a subclass of GUIActiveArea
(subclass TextInputBox GUIActiveArea)	ComputerInput.kif 1106-1106	TextInputBox is a subclass of GUIActiveArea

antecedent

(=> (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

consequent

(=> (instance ?ACT DraggingWithCursor) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE GUIActiveArea) (not (instance ?GUIE Cursor)))))	ComputerInput.kif 1759-1765	If a process is an instance of DraggingWithCursor, then there exists an entity such that the entity is a patient of the process and the entity is an instance of GUIActiveArea and the entity is not an instance of Cursor
(=> (instance ?ACT UserSignifiedGraphicalAction) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE GUIActiveArea))))	ComputerInput.kif 1706-1711	If a process is an instance of UserSignifiedGraphicalAction, then there exists an entity such that the entity is a patient of the process and the entity is an instance of GUIActiveArea
(=> (instance ?SELECT SelectingActiveArea) (exists (?ELEMENT) (and (instance ?ELEMENT GUIActiveArea) (holdsDuring (BeginFn ?SELECT) (hasGUEState ?ELEMENT GUE_ActiveState)) (patient ?SELECT ?ELEMENT))))	ComputerInput.kif 2187-2195	If a time interval is an instance of SelectingActiveArea, then there exists an entity such that the entity is an instance of GUIActiveArea and the entity has state GUE_ActiveState holds during the beginning of the time interval and the entity is a patient of the time interval

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