TreeView Knowledge Base Browser - GUE_ActiveState

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

GUE_ActiveState

Sigma KEE - GUE_ActiveState

GUE_ActiveState(GUE active state)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1961-1961	GUE active state is the opposite of GUE passive state
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1889-1892
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1888-1888	GUE active state is an instance of GU element state

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2042-2042	GUE minimized state is the opposite of GUE active state
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64902-64902

antecedent

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 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 1896-1904	If a GUI element is an instance of interface window and another GUI element is 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 GUI element has state GUE active state, then the GUI element is equal to the other GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1964-1972	If an entity_A is an instance of interface window and the entity_P is an instance of interface window and the entity_A is displayed on a computer screen and the entity_P is displayed on the computer screen and the entity_A has state GUE active state and the entity_A is not equal to the entity_P, then the entity_P has state GUE passive state

consequent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2104-2108	If a GUI element has state GUE uncovered state and the GUI element has state GUE maximized window state, then the GUI element has state GUE active state
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 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 1797-1803	If a process is an instance of window scrolling by user, then there exists a GUI element such that the GUI element is a patient of the process and the GUI element is an instance of interface window and the GUI element has state GUE active state
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2190-2198	If a time interval is an instance of selecting active area, then there exists an entity such that the entity is an instance of GUI active area and the entity has state GUE active state holds during the beginning of the time interval and the entity is a patient of the time interval

statement

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2011-2015	~{ A GUI element has state GUE non visible state } or ~{ the GUI element has state GUE active state } or ~{ the GUI element is an instance of interface window }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1952-1955	~{ A GUI element is an instance of mouse cursor } or ~{ the GUI element has state GUE active state }

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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