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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUIElement
GUIElement

appearance as argument number 1
-------------------------


(documentation GUIElement EnglishLanguage "A GUIElement is an image on a ComputerScreen that a user uses to interact with a GraphicalUserInterface. The type of interaction depends upon the type of element and type of screen.") ComputerInput.kif 895-897
(subclass GUIElement Image) ComputerInput.kif 893-893
(subclass GUIElement UIElement) ComputerInput.kif 894-894

appearance as argument number 2
-------------------------


(disjoint TextualComputerMenu GUIElement) ComputerInput.kif 898-898
(subclass BannerNotification GUIElement) ComputingBrands.kif 2149-2149
(subclass Cursor GUIElement) ComputerInput.kif 1074-1074
(subclass GUIActiveArea GUIElement) ComputerInput.kif 906-906
(subclass GUIDock GUIElement) ComputingBrands.kif 2501-2501
(subclass InterfaceWindow GUIElement) ComputerInput.kif 1103-1103
(subclass TextBox GUIElement) ComputerInput.kif 1129-1129

appearance as argument number 3
-------------------------


(domain guiElementCovered 2 GUIElement) ComputerInput.kif 2544-2544
(domain guiElementCoveredBy 1 GUIElement) ComputerInput.kif 2569-2569
(domain guiElementCoveredBy 2 GUIElement) ComputerInput.kif 2570-2570
(domain guiElementPartiallyCovered 2 GUIElement) ComputerInput.kif 2585-2585
(domain guiElementPartiallyCoveredBy 1 GUIElement) ComputerInput.kif 2620-2620
(domain guiElementPartiallyCoveredBy 2 GUIElement) ComputerInput.kif 2621-2621
(domain guiElementUncovered 2 GUIElement) ComputerInput.kif 2653-2653
(domain hasGUEState 1 GUIElement) ComputerInput.kif 1912-1912
(domain screenOfGUIE 1 GUIElement) ComputerInput.kif 901-901

antecedent
-------------------------


(=>
    (and
        (instance ?ACT ActivatingUIElement)
        (patient ?ACT ?GUIE)
        (instance ?GUIE GUIElement))
    (and
        (holdsDuring
            (EndFn ?SELECT)
            (hasGUEState ?GUIE GUE_ActiveState))
        (holdsDuring
            (StartFn ?SELECT)
            (not
                (hasGUEState ?GUIE GUE_ActiveState)))))
ComputerInput.kif 2297-2306
(=>
    (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 2625-2635
(=>
    (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 2637-2645
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (properPart ?GUIE1 ?GUIE2)
        (instance ?GUIE2 GUIElement))
    (hasGUEState ?GUIE2 GUE_ActiveState))
ComputerInput.kif 1938-1944
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (instance ?GUIE2 GUIElement)
        (not
            (instance ?GUIE1 InterfaceWindow))
        (not
            (instance ?GUIE2 InterfaceWindow))
        (screenOfGUIE ?GUIE1 ?SCREEN)
        (screenOfGUIE ?GUIE2 ?SCREEN)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (hasGUEState ?GUIE2 GUE_ActiveState))
    (or
        (properPart ?GUIE1 ?GUIE2)
        (properPart ?GUIE2 ?GUIE1)
        (equal ?GUIE1 ?GUIE2)))
ComputerInput.kif 1964-1977
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_CoveredState))
    (hasGUEState ?GUIE_SM GUE_CoveredState))
ComputerInput.kif 2111-2117
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_NonVisibleState))
    (hasGUEState ?GUIE_SM GUE_NonVisibleState))
ComputerInput.kif 2030-2036
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_OffscreenState))
    (hasGUEState ?GUIE_SM GUE_OffscreenState))
ComputerInput.kif 2058-2064
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_PassiveState))
    (hasGUEState ?GUIE_SM GUE_PassiveState))
ComputerInput.kif 2006-2012
(=>
    (and
        (instance ?SELECT SelectingComputerSubmenu)
        (patient ?SELECT ?SUBMENU)
        (instance ?SUBMENU GUIElement))
    (instance ?SUBMENU ComputerMenu))
ComputerInput.kif 2312-2317
(=>
    (and
        (instance ?WINDOW InterfaceWindow)
        (instance ?GUIE GUIElement)
        (screenOfGUIE ?WINDOW ?SCREEN)
        (screenOfGUIE ?GUIE ?SCREEN)
        (not
            (instance ?GUIE InterfaceWindow))
        (hasGUEState ?WINDOW GUE_ActiveState)
        (hasGUEState ?GUIE GUE_ActiveState))
    (properPart ?GUIE ?WINDOW))
ComputerInput.kif 1949-1958
(=>
    (instance ?GUE GUIElement)
    (or
        (hasGUEState ?GUE GUE_CoveredState)
        (hasGUEState ?GUE GUE_OffscreenState)
        (hasGUEState ?GUE GUE_MinimizedState)
        (hasGUEState ?GUE GUE_DisplayedState)))
ComputerInput.kif 2178-2184

consequent
-------------------------


(=>
    (instance ?COVERING CoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (patient ?COVERING ?GUIE)
            (guiElementCovered ?COVERING ?GUIE))))
ComputerInput.kif 2549-2555
(=>
    (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 2532-2540
(=>
    (instance ?UNCOVERING PartiallyCoveringGraphicalWindow)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementPartiallyCovered ?UNCOVERING ?GUIE))))
ComputerInput.kif 2592-2597
(=>
    (instance ?UNCOVERING UncoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementUncovered ?UNCOVERING ?GUIE))))
ComputerInput.kif 2659-2664


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