GUE_PartiallyCoveredState - 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_PartiallyCoveredState

GUE_PartiallyCoveredState(GUE partially covered state)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2111-2114
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2110-2110	GUE partially covered 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 2141-2141	GUE in part covered state is a subattribute of GUE partially covered state
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2134-2134	GUE translucently covered state is a subattribute of GUE partially covered state
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64910-64910

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

ComputerInput.kif 2115-2115

GUE covered state is the opposite of GUE uncovered 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 2529-2537	If a covering GUI element covers a GUI element, then the GUI element has state GUE partially covered state or the GUI element has state GUE uncovered state holds during the beginning of the time of existence of the covering GUI element and the GUI element has state GUE covered state holds during the end of the time of existence of the covering GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2574-2577	If a partially covering graphical window partially covers a GUI element, then the GUI element has state GUE partially covered state holds during the end of the time of existence of the partially covering graphical window
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2582-2588	If a partially covering graphical window partially covers a GUI element, then the GUI element has state GUE uncovered state holds during the beginning of the time of existence of the partially covering graphical window or the GUI element has state GUE partially covered state holds during the beginning of the time of existence of the partially covering graphical window
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2649-2655	If an uncovering graphical window uncovers a GUI element, then the GUI element has state GUE covered state holds during the beginning of the time of existence of the uncovering graphical window or the GUI element has state GUE partially covered state holds during the beginning of the time of existence of the uncovering graphical window

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