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 866-868
(subclass GUIElement Image) ComputerInput.kif 864-864 GUIElement est une sous-classe de Image
(subclass GUIElement UIElement) ComputerInput.kif 865-865 GUIElement est une sous-classe de UIElement

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


(disjoint TextualComputerMenu GUIElement) ComputerInput.kif 869-869 TextualComputerMenu est disjoint de GUIElement
(subclass BannerNotification GUIElement) ComputingBrands.kif 2180-2180 BannerNotification est une sous-classe de GUIElement
(subclass Cursor GUIElement) ComputerInput.kif 1046-1046 Cursor est une sous-classe de GUIElement
(subclass GUIActiveArea GUIElement) ComputerInput.kif 878-878 GUIActiveArea est une sous-classe de GUIElement
(subclass GUIDock GUIElement) ComputingBrands.kif 2532-2532 GUIDock est une sous-classe de GUIElement
(subclass InterfaceWindow GUIElement) ComputerInput.kif 1075-1075 InterfaceWindow est une sous-classe de GUIElement
(subclass TextBox GUIElement) ComputerInput.kif 1101-1101 TextBox est une sous-classe de GUIElement
(termFormat EnglishLanguage GUIElement "GUI element") ComputerInput.kif 870-870

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


(domain guiElementCovered 2 GUIElement) ComputerInput.kif 2516-2516 Le nombre 2 argument de guiElementCovered est une instance de GUIElement
(domain guiElementCoveredBy 1 GUIElement) ComputerInput.kif 2541-2541 Le nombre 1 argument de guiElementCoveredBy est une instance de GUIElement
(domain guiElementCoveredBy 2 GUIElement) ComputerInput.kif 2542-2542 Le nombre 2 argument de guiElementCoveredBy est une instance de GUIElement
(domain guiElementPartiallyCovered 2 GUIElement) ComputerInput.kif 2557-2557 Le nombre 2 argument de guiElementPartiallyCovered est une instance de GUIElement
(domain guiElementPartiallyCoveredBy 1 GUIElement) ComputerInput.kif 2592-2592 Le nombre 1 argument de guiElementPartiallyCoveredBy est une instance de GUIElement
(domain guiElementPartiallyCoveredBy 2 GUIElement) ComputerInput.kif 2593-2593 Le nombre 2 argument de guiElementPartiallyCoveredBy est une instance de GUIElement
(domain guiElementUncovered 2 GUIElement) ComputerInput.kif 2625-2625 Le nombre 2 argument de guiElementUncovered est une instance de GUIElement
(domain hasGUEState 1 GUIElement) ComputerInput.kif 1883-1883 Le nombre 1 argument de hasGUEState est une instance de GUIElement
(domain screenOfGUIE 1 GUIElement) ComputerInput.kif 873-873 Le nombre 1 argument de screenOfGUIE est une instance de GUIElement

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


(=>
    (and
        (instance ?ACT ActivatingUIElement)
        (patient ?ACT ?GUIE)
        (instance ?GUIE GUIElement))
    (and
        (holdsDuring
            (EndFn ?ACT)
            (hasGUEState ?GUIE GUE_ActiveState))
        (holdsDuring
            (BeginFn ?ACT)
            (not
                (hasGUEState ?GUIE GUE_ActiveState)))))		 ComputerInput.kif 2268-2277
(=>
    (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 2597-2607
(=>
    (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
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (properPart ?GUIE1 ?GUIE2)
        (instance ?GUIE2 GUIElement))
    (hasGUEState ?GUIE2 GUE_ActiveState))		 ComputerInput.kif 1909-1915
(=>
    (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 1935-1948
(=>
    (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 2082-2088
(=>
    (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 2001-2007
(=>
    (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 2029-2035
(=>
    (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 1977-1983
(=>
    (and
        (instance ?SELECT SelectingComputerSubmenu)
        (patient ?SELECT ?SUBMENU)
        (instance ?SUBMENU GUIElement))
    (instance ?SUBMENU ComputerMenu))		 ComputerInput.kif 2283-2288
(=>
    (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 1920-1929
(=>
    (instance ?GUE GUIElement)
    (or
        (hasGUEState ?GUE GUE_CoveredState)
        (hasGUEState ?GUE GUE_OffscreenState)
        (hasGUEState ?GUE GUE_MinimizedState)
        (hasGUEState ?GUE GUE_DisplayedState)))		 ComputerInput.kif 2149-2155

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


(=>
    (instance ?COVERING CoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (patient ?COVERING ?GUIE)
            (guiElementCovered ?COVERING ?GUIE))))		 ComputerInput.kif 2521-2527
(=>
    (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 2504-2512
(=>
    (instance ?UNCOVERING PartiallyCoveringGraphicalWindow)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementPartiallyCovered ?UNCOVERING ?GUIE))))		 ComputerInput.kif 2564-2569
(=>
    (instance ?UNCOVERING UncoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementUncovered ?UNCOVERING ?GUIE))))		 ComputerInput.kif 2631-2636


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