guiElementUncovered - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - guiElementUncovered

guiElementUncovered

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2626-2628
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2624-2624	The number 1 argument of GUI element uncovered is an instance of uncovering graphical window
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 2623-2623	GUI element uncovered is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3584-3584
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3583-3583
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3582-3582
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65883-65883

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2641-2644	If an uncovering graphical window uncovers a GUI element, then the GUI element has state GUE uncovered state holds during the end of the time of existence of the uncovering 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

consequent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2423-2430	If an uncovering graphical window is an instance of uncovering graphical window and a GUI element is a patient of the uncovering graphical window and the GUI element is an instance of interface window and an object is a proper part of the GUI element and the object is an instance of cursor, then the uncovering graphical window uncovers the GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2416-2421	If an uncovering graphical window is an instance of uncovering graphical window and a GUI element is a patient of the uncovering graphical window and the GUI element is an instance of interface window, then the uncovering graphical window uncovers 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