CoveringGUIElement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CoveringGUIElement

CoveringGUIElement(covering GUI element)

appearance as argument number 1

(documentation CoveringGUIElement EnglishLanguage "A UserSignifiedAction causing a GUIElement to be covered completely on a ComputerScreen by at least one other GUIElement.")	ComputerInput.kif 2498-2499
(subclass CoveringGUIElement UserSignifiedGraphicalAction)	ComputerInput.kif 2497-2497	Covering GUI element is a subclass of user signified graphical action

appearance as argument number 2

(termFormat EnglishLanguage CoveringGUIElement "covering GUI element")

ComputerInput.kif 2502-2502

appearance as argument number 3

(domain guiElementCovered 1 CoveringGUIElement)

ComputerInput.kif 2515-2515

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

antecedent

(=> (and (instance ?COVERING CoveringGUIElement) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (or (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))))	ComputerInput.kif 2597-2607	If a time interval is an instance of covering GUI element 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 covered by the entity_TOP or the entity_BOTTOM is partially covered by the entity_TOP holds during the end of the time interval
(=> (instance ?COVERING CoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (patient ?COVERING ?GUIE) (guiElementCovered ?COVERING ?GUIE))))	ComputerInput.kif 2521-2527	If a covering GUI element is an instance of covering GUI element, then there exists a GUI element such that the GUI element is an instance of GUI element and the GUI element is a patient of the covering GUI element and the covering GUI element covers the GUI element
(=> (instance ?COVERING CoveringGUIElement) (exists (?GUIE1 ?GUIE2) (and (instance ?GUIE1 GUIElement) (instance ?GUIE2 GUIElement) (agent ?COVERING ?GUIE1) (patient ?COVERING ?GUIE2) (not (equal ?GUIE1 ?GUIE2)))))	ComputerInput.kif 2504-2512	If a process is an instance of covering GUI element, then there exist an agent and an entity such that the agent is an instance of GUI element and the entity is an instance of GUI element and the agent is an agent of the process and the entity is a patient of the process and the agent is not equal to the entity

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