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

(documentation guiElementUncovered EnglishLanguage "(guiElementUncovered ?UNCOVERING ?GUIE) means that the GUIElement ?GUIE has become completely uncovered by the action ?UNCOVERING. Its logical positioned on the screen does is not changed.")	ComputerInput.kif 2626-2628
(domain guiElementUncovered 1 UncoveringGraphicalWindow)	ComputerInput.kif 2624-2624	The number 1 argument of GUI element uncovered is an instance of uncovering graphical window
(domain guiElementUncovered 2 GUIElement)	ComputerInput.kif 2625-2625	The number 2 argument of GUI element uncovered is an instance of GUI element
(instance guiElementUncovered BinaryPredicate)	ComputerInput.kif 2623-2623	GUI element uncovered is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage guiElementUncovered "%1 uncovers %2 ")	domainEnglishFormat.kif 3580-3580
(format ChineseTraditionalLanguage guiElementUncovered "%1 uncovers %2 ")	domainEnglishFormat.kif 3579-3579
(format EnglishLanguage guiElementUncovered "%1 uncovers %2")	domainEnglishFormat.kif 3578-3578
(termFormat EnglishLanguage guiElementUncovered "GUI element uncovered")	domainEnglishFormat.kif 65898-65898

antecedent

(=> (guiElementUncovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)))	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
(=> (guiElementUncovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_CoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState))))	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

(=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow) (properPart ?CURSOR ?WINDOW) (instance ?CURSOR Cursor)) (guiElementUncovered ?UNCOVER ?WINDOW))	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
(=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow)) (guiElementUncovered ?UNCOVER ?WINDOW))	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
(=> (instance ?UNCOVERING UncoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementUncovered ?UNCOVERING ?GUIE))))	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