PartiallyCoveringGraphicalWindow - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PartiallyCoveringGraphicalWindow

PartiallyCoveringGraphicalWindow(partially covering graphical window)

appearance as argument number 1

(documentation PartiallyCoveringGraphicalWindow EnglishLanguage "A UserSignifiedAction causing a GUIElement to be partially covered on a ComputerScreen by at least one other GUIElement.")	ComputerInput.kif 2552-2553
(subclass PartiallyCoveringGraphicalWindow UserSignifiedGraphicalAction)	ComputerInput.kif 2551-2551	Partially covering graphical window is a subclass of user signified graphical action

appearance as argument number 2

(termFormat EnglishLanguage PartiallyCoveringGraphicalWindow "partially covering graphical window")

domainEnglishFormat.kif 65341-65341

appearance as argument number 3

(domain guiElementPartiallyCovered 1 PartiallyCoveringGraphicalWindow)

ComputerInput.kif 2556-2556

The number 1 argument of GUI element partially covered is an instance of partially covering graphical window

antecedent

(=> (and (instance ?COVERING PartiallyCoveringGraphicalWindow) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))	ComputerInput.kif 2609-2617	If a time interval is an instance of partially covering graphical window and an entity_TOP is an agent of the time interval and the entity_BOTTOM is a patient of the time interval and the entity_TOP is an instance of GUI element and the entity_BOTTOM is an instance of GUI element, then the entity_BOTTOM is partially covered by the entity_TOP holds during the end of the time interval
(=> (instance ?UNCOVERING PartiallyCoveringGraphicalWindow) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementPartiallyCovered ?UNCOVERING ?GUIE))))	ComputerInput.kif 2564-2569	If a partially covering graphical window is an instance of partially covering graphical window, then there exists a GUI element such that the GUI element is an instance of GUI element and the partially covering graphical window partially covers 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