GUE_OffscreenState - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GUE_OffscreenState

GUE_OffscreenState(GUE offscreen state)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2021-2025
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2019-2019	GUE offscreen state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2020-2020	GUE offscreen state is a subattribute of GUE non visible state

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2056-2056	GUE maximized window state is the opposite of GUE offscreen state
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2071-2071	GUE vertically maximized window state is the opposite of GUE offscreen state
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64909-64909

antecedent

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

consequent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2120-2131	If a GUI element has state GUE uncovered state and the GUI element has state GUE maximized window state and the GUI element is displayed on a computer screen and another GUI element is an instance of interface window and the other GUI element is displayed on the computer screen and the GUI element is not equal to the other GUI element, then the other GUI element has state GUE covered state or the other GUI element has state GUE partially covered state or the other GUI element has state GUE offscreen 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 2096-2100	If a GUI element has state GUE uncovered state, then the GUI element has state GUE displayed state or the GUI element has state GUE offscreen state
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

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