GUIElement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GUIElement

GUIElement(GUI element)

appearance as argument number 1

(documentation GUIElement EnglishLanguage "A GUIElement is an image on a ComputerScreen that a user uses to interact with a GraphicalUserInterface. The type of interaction depends upon the type of element and type of screen.")	ComputerInput.kif 866-868
(subclass GUIElement Image)	ComputerInput.kif 864-864	GUI element is a subclass of image
(subclass GUIElement UIElement)	ComputerInput.kif 865-865	GUI element is a subclass of UI element

appearance as argument number 2

(disjoint TextualComputerMenu GUIElement)	ComputerInput.kif 869-869	Textual computer menu is disjoint from GUI element
(subclass BannerNotification GUIElement)	ComputingBrands.kif 2180-2180	Banner is a subclass of GUI element
(subclass Cursor GUIElement)	ComputerInput.kif 1046-1046	Cursor is a subclass of GUI element
(subclass GUIActiveArea GUIElement)	ComputerInput.kif 878-878	GUI active area is a subclass of GUI element
(subclass GUIDock GUIElement)	ComputingBrands.kif 2532-2532	Dock is a subclass of GUI element
(subclass InterfaceWindow GUIElement)	ComputerInput.kif 1075-1075	Interface window is a subclass of GUI element
(subclass TextBox GUIElement)	ComputerInput.kif 1101-1101	Text box is a subclass of GUI element
(termFormat EnglishLanguage GUIElement "GUI element")	ComputerInput.kif 870-870	Text box is a subclass of GUI element

appearance as argument number 3

(domain guiElementCovered 2 GUIElement)	ComputerInput.kif 2516-2516	The number 2 argument of GUI element covered is an instance of GUI element
(domain guiElementCoveredBy 1 GUIElement)	ComputerInput.kif 2541-2541	The number 1 argument of GUI element covered by is an instance of GUI element
(domain guiElementCoveredBy 2 GUIElement)	ComputerInput.kif 2542-2542	The number 2 argument of GUI element covered by is an instance of GUI element
(domain guiElementPartiallyCovered 2 GUIElement)	ComputerInput.kif 2557-2557	The number 2 argument of GUI element partially covered is an instance of GUI element
(domain guiElementPartiallyCoveredBy 1 GUIElement)	ComputerInput.kif 2592-2592	The number 1 argument of GUI element partially covered by is an instance of GUI element
(domain guiElementPartiallyCoveredBy 2 GUIElement)	ComputerInput.kif 2593-2593	The number 2 argument of GUI element partially covered by is an instance of GUI element
(domain guiElementUncovered 2 GUIElement)	ComputerInput.kif 2625-2625	The number 2 argument of GUI element uncovered is an instance of GUI element
(domain hasGUEState 1 GUIElement)	ComputerInput.kif 1883-1883	The number 1 argument of has GUE state is an instance of GUI element
(domain screenOfGUIE 1 GUIElement)	ComputerInput.kif 873-873	The number 1 argument of screen of GUIE is an instance of GUI element

antecedent

(=> (and (instance ?ACT ActivatingUIElement) (patient ?ACT ?GUIE) (instance ?GUIE GUIElement)) (and (holdsDuring (EndFn ?ACT) (hasGUEState ?GUIE GUE_ActiveState)) (holdsDuring (BeginFn ?ACT) (not (hasGUEState ?GUIE GUE_ActiveState)))))	ComputerInput.kif 2268-2277	If a time interval is an instance of activating UI element and an entity is a patient of the time interval and the entity is an instance of GUI element, then the entity has state GUE active state holds during the end of the time interval and not the entity has state GUE active state holds during the beginning of the time interval
(=> (and (instance ?COVERING CoveringGUIElement) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (or (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))))	ComputerInput.kif 2597-2607	If a time interval is an instance of covering GUI element and an entity_TOP is an agent of the time interval and the entity_BOTTOM is a patient of the time interval and the entity_TOP is an instance of GUI element and the entity_BOTTOM is an instance of GUI element, then the entity_BOTTOM is covered by the entity_TOP or the entity_BOTTOM is partially covered by the entity_TOP holds during the end of the time interval
(=> (and (instance ?COVERING PartiallyCoveringGraphicalWindow) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))	ComputerInput.kif 2609-2617	If a time interval is an instance of partially covering graphical window and an entity_TOP is an agent of the time interval and the entity_BOTTOM is a patient of the time interval and the entity_TOP is an instance of GUI element and the entity_BOTTOM is an instance of GUI element, then the entity_BOTTOM is partially covered by the entity_TOP 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 1909-1915	If a GUI element is an instance of GUI element and the GUI element has state GUE active state and the GUI element is a proper part of another GUI element and the other GUI element is an instance of GUI element, then the other GUI element has state GUE active state
(=> (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 1935-1948	If a GUI element is an instance of GUI element and another GUI element is an instance of GUI element and the GUI element is not an instance of interface window and the other GUI element is not an instance of interface window and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the GUI element is a proper part of the other GUI element or the other GUI element is a proper part of the GUI element or equal the GUI element and the other GUI element
(=> (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 2082-2088	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE covered state, then the entity_SM has state GUE covered state
(=> (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	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE non visible state, then the entity_SM has state GUE non visible state
(=> (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 2029-2035	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE offscreen state, then the entity_SM has state GUE offscreen state
(=> (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 1977-1983	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE passive state, then the entity_SM has state GUE passive state
(=> (and (instance ?SELECT SelectingComputerSubmenu) (patient ?SELECT ?SUBMENU) (instance ?SUBMENU GUIElement)) (instance ?SUBMENU ComputerMenu))	ComputerInput.kif 2283-2288	If a process is an instance of selecting computer submenu and an entity is a patient of the process and the entity is an instance of GUI element, then the entity is an instance of computer menu
(=> (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 1920-1929	If a GUI element is an instance of interface window and another GUI element is an instance of GUI element and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the other GUI element is not an instance of interface window and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the other GUI element is a proper part of the GUI element
(=> (instance ?GUE GUIElement) (or (hasGUEState ?GUE GUE_CoveredState) (hasGUEState ?GUE GUE_OffscreenState) (hasGUEState ?GUE GUE_MinimizedState) (hasGUEState ?GUE GUE_DisplayedState)))	ComputerInput.kif 2149-2155	If a GUI element is an instance of GUI element, then the GUI element has state GUE covered state or the GUI element has state GUE offscreen state or the GUI element has state GUE minimized state or the GUI element has state GUE displayed state

consequent

(=> (instance ?COVERING CoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (patient ?COVERING ?GUIE) (guiElementCovered ?COVERING ?GUIE))))	ComputerInput.kif 2521-2527	If a covering GUI element is an instance of covering GUI element, then there exists a GUI element such that the GUI element is an instance of GUI element and the GUI element is a patient of the covering GUI element and the covering GUI element covers the GUI element
(=> (instance ?COVERING CoveringGUIElement) (exists (?GUIE1 ?GUIE2) (and (instance ?GUIE1 GUIElement) (instance ?GUIE2 GUIElement) (agent ?COVERING ?GUIE1) (patient ?COVERING ?GUIE2) (not (equal ?GUIE1 ?GUIE2)))))	ComputerInput.kif 2504-2512	If a process is an instance of covering GUI element, then there exist an agent and an entity such that the agent is an instance of GUI element and the entity is an instance of GUI element and the agent is an agent of the process and the entity is a patient of the process and equal the agent and the entity
(=> (instance ?UNCOVERING PartiallyCoveringGraphicalWindow) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementPartiallyCovered ?UNCOVERING ?GUIE))))	ComputerInput.kif 2564-2569	If a partially covering graphical window is an instance of partially covering graphical window, then there exists a GUI element such that the GUI element is an instance of GUI element and the partially covering graphical window partially covers the GUI element
(=> (instance ?UNCOVERING UncoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementUncovered ?UNCOVERING ?GUIE))))	ComputerInput.kif 2631-2636	If an uncovering graphical window is an instance of uncovering GUI element, then there exists a GUI element such that the GUI element is an instance of GUI element and the uncovering graphical window uncovers the GUI element

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