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 65293-65293

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
(=>
    (instance ?UNCOVERING PartiallyCoveringGraphicalWindow)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementPartiallyCovered ?UNCOVERING ?GUIE))))
ComputerInput.kif 2564-2569


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