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 2622-2624
(domain guiElementUncovered 1 UncoveringGraphicalWindow)	ComputerInput.kif 2620-2620	The number 1 argument of guiElementUncovered is an instance of UncoveringGraphicalWindow
(domain guiElementUncovered 2 GUIElement)	ComputerInput.kif 2621-2621	The number 2 argument of guiElementUncovered is an instance of GUIElement
(instance guiElementUncovered BinaryPredicate)	ComputerInput.kif 2619-2619	guiElementUncovered is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage guiElementUncovered "%1 uncovers %2 ")	domainEnglishFormat.kif 3591-3591
(format ChineseTraditionalLanguage guiElementUncovered "%1 uncovers %2 ")	domainEnglishFormat.kif 3590-3590
(format EnglishLanguage guiElementUncovered "%1 uncovers %2")	domainEnglishFormat.kif 3589-3589

antecedent

(=> (guiElementUncovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)))	ComputerInput.kif 2637-2640	If an UncoveringGraphicalWindow uncovers a GUIElement, then the GUIElement has state GUE_UncoveredState holds during the end of the time of existence of the UncoveringGraphicalWindow
(=> (guiElementUncovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_CoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState))))	ComputerInput.kif 2645-2651	If an UncoveringGraphicalWindow uncovers a GUIElement, then the GUIElement has state GUE_CoveredState holds during the beginning of the time of existence of the UncoveringGraphicalWindow or the GUIElement has state GUE_PartiallyCoveredState holds during the beginning of the time of existence of the UncoveringGraphicalWindow

consequent

(=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow) (properPart ?CURSOR ?WINDOW) (instance ?CURSOR Cursor)) (guiElementUncovered ?UNCOVER ?WINDOW))	ComputerInput.kif 2420-2427	If an UncoveringGraphicalWindow is an instance of UncoveringGraphicalWindow and a GUIElement is a patient of the UncoveringGraphicalWindow and the GUIElement is an instance of InterfaceWindow and an object is a proper part of the GUIElement and the object is an instance of Cursor, then the UncoveringGraphicalWindow uncovers the GUIElement
(=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow)) (guiElementUncovered ?UNCOVER ?WINDOW))	ComputerInput.kif 2413-2418	If an UncoveringGraphicalWindow is an instance of UncoveringGraphicalWindow and a GUIElement is a patient of the UncoveringGraphicalWindow and the GUIElement is an instance of InterfaceWindow, then the UncoveringGraphicalWindow uncovers the GUIElement
(=> (instance ?UNCOVERING UncoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementUncovered ?UNCOVERING ?GUIE))))	ComputerInput.kif 2627-2632	If an UncoveringGraphicalWindow is an instance of UncoveringGUIElement, then there exists a GUIElement such that the GUIElement is an instance of GUIElement and the UncoveringGraphicalWindow uncovers the GUIElement

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