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

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 866-868
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 864-864	GUI element is a subclass of image
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 865-865	GUI element is a subclass of UI element

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 869-869	Textual computer menu is disjoint from GUI element
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2180-2180	Banner is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1046-1046	Cursor is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 878-878	GUI active area is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2532-2532	Dock is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1075-1075	Interface window is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1101-1101	Text box is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 870-870	Text box is a subclass of GUI element

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2516-2516	The number 2 argument of GUI element covered is an instance of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2541-2541	The number 1 argument of GUI element covered by is an instance of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2542-2542	The number 2 argument of GUI element covered by is an instance of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2557-2557	The number 2 argument of GUI element partially covered is an instance of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2592-2592	The number 1 argument of GUI element partially covered by is an instance of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2593-2593	The number 2 argument of GUI element partially covered by is an instance of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2625-2625	The number 2 argument of GUI element uncovered is an instance of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1883-1883	The number 1 argument of has GUE state is an instance of GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 873-873	The number 1 argument of screen of GUIE is an instance of GUI element

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 the GUI element is equal to the other GUI element
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 the agent is not equal to the entity
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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