Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - CoveringGUIElement

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 2495-2496
(subclass CoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2494-2494 CoveringGUIElement is a subclass of UserSignifiedGraphicalAction

appearance as argument number 3

(domain guiElementCovered 1 CoveringGUIElement) ComputerInput.kif 2511-2511 The number 1 argument of guiElementCovered is an instance of CoveringGUIElement


        (instance ?COVERING CoveringGUIElement)
        (agent ?COVERING ?GUIE_TOP)
        (patient ?COVERING ?GUIE_BOTTOM)
        (instance ?GUIE_TOP GUIElement)
        (instance ?GUIE_BOTTOM GUIElement))
        (EndFn ?COVERING)
            (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
            (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))))
ComputerInput.kif 2593-2603
    (instance ?COVERING CoveringGUIElement)
    (exists (?GUIE)
            (instance ?GUIE GUIElement)
            (patient ?COVERING ?GUIE)
            (guiElementCovered ?COVERING ?GUIE))))
ComputerInput.kif 2517-2523
    (instance ?COVERING CoveringGUIElement)
    (exists (?GUIE1 ?GUIE2)
            (instance ?GUIE1 GUIElement)
            (instance ?GUIE2 GUIElement)
            (agent ?COVERING ?GUIE1)
            (patient ?COVERING ?GUIE2)
                (equal ?GUIE1 ?GUIE2)))))
ComputerInput.kif 2500-2508

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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