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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoveringGUIElement

Sigma KEE - CoveringGUIElement
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

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 2593-2603
(=>
    (instance ?COVERING CoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (patient ?COVERING ?GUIE)
            (guiElementCovered ?COVERING ?GUIE))))
ComputerInput.kif 2517-2523
(=>
    (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 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