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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GUIElement

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 686-686
(subclass GUIElement Image) ComputerInput.kif 684-684 GUIElement is a subclass of Image
(subclass GUIElement UIElement) ComputerInput.kif 685-685 GUIElement is a subclass of UIElement

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


(disjoint TextualComputerMenu GUIElement) ComputerInput.kif 687-687 TextualComputerMenu is disjoint from GUIElement
(subclass BannerNotification GUIElement) ComputingBrands.kif 2001-2001 Banner is a subclass of GUIElement
(subclass Cursor GUIElement) ComputerInput.kif 814-814 Cursor is a subclass of GUIElement
(subclass GUIActiveArea GUIElement) ComputerInput.kif 694-694 GUIActiveArea is a subclass of GUIElement
(subclass GUIDock GUIElement) ComputingBrands.kif 2342-2342 Dock is a subclass of GUIElement
(subclass InterfaceWindow GUIElement) ComputerInput.kif 835-835 InterfaceWindow is a subclass of GUIElement
(subclass TextBox GUIElement) ComputerInput.kif 850-850 TextBox is a subclass of GUIElement

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


(domain guiElementCovered 2 GUIElement) ComputerInput.kif 2035-2035 The number 2 argument of guiElementCovered is an instance of GUIElement
(domain guiElementCoveredBy 1 GUIElement) ComputerInput.kif 2058-2058 The number 1 argument of guiElementCoveredBy is an instance of GUIElement
(domain guiElementCoveredBy 2 GUIElement) ComputerInput.kif 2059-2059 The number 2 argument of guiElementCoveredBy is an instance of GUIElement
(domain guiElementPartiallyCovered 2 GUIElement) ComputerInput.kif 2072-2072 The number 2 argument of guiElementPartiallyCovered is an instance of GUIElement
(domain guiElementPartiallyCoveredBy 1 GUIElement) ComputerInput.kif 2105-2105 The number 1 argument of guiElementPartiallyCoveredBy is an instance of GUIElement
(domain guiElementPartiallyCoveredBy 2 GUIElement) ComputerInput.kif 2106-2106 The number 2 argument of guiElementPartiallyCoveredBy is an instance of GUIElement
(domain guiElementUncovered 2 GUIElement) ComputerInput.kif 2136-2136 The number 2 argument of guiElementUncovered is an instance of GUIElement
(domain hasGUEState 1 GUIElement) ComputerInput.kif 1479-1479 The number 1 argument of hasGUEState is an instance of GUIElement
(domain screenOfGUIE 1 GUIElement) ComputerInput.kif 690-690 The number 1 argument of screenOfGUIE is an instance of GUIElement

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 1813-1822
(=>
    (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 2109-2119
(=>
    (and
        (instance ?COVERING PartiallyCoveringGUIElement)
        (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 2121-2129
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (properPart ?GUIE1 ?GUIE2)
        (instance ?GUIE2 GUIElement))
    (hasGUEState ?GUIE2 GUE_ActiveState))
ComputerInput.kif 1501-1507
(=>
    (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 1527-1540
(=>
    (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 1656-1662
(=>
    (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 1589-1595
(=>
    (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 1613-1619
(=>
    (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 1567-1573
(=>
    (and
        (instance ?SELECT SelectingComputerSubmenu)
        (patient ?SELECT ?SUBMENU)
        (instance ?SUBMENU GUIElement))
    (instance ?SUBMENU ComputerMenu))
ComputerInput.kif 1827-1832
(=>
    (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 1512-1521
(=>
    (instance ?GUE GUIElement)
    (or
        (hasGUEState ?GUE GUE_CoveredState)
        (hasGUEState ?GUE GUE_OffscreenState)
        (hasGUEState ?GUE GUE_MinimizedState)
        (hasGUEState ?GUE GUE_DisplayedState)))
ComputerInput.kif 1712-1718

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


(=>
    (instance ?COVERING CoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (patient ?COVERING ?GUIE)
            (guiElementCovered ?COVERING ?GUIE))))
ComputerInput.kif 2038-2044
(=>
    (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 2023-2031
(=>
    (instance ?UNCOVERING PartiallyCoveringGraphicalWindow)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementPartiallyCovered ?ACT ?GUIE))))
ComputerInput.kif 2077-2082
(=>
    (instance ?UNCOVERING UncoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementUncovered ?ACT ?GUIE))))
ComputerInput.kif 2140-2145


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners