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