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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SelectingActiveArea
SelectingActiveArea

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


(documentation SelectingActiveArea EnglishLanguage "A UserSignifiedAction informing a ComputerProgram that the current GUIElement with the state GUE_ActiveState is selected. This causes the program controlling the element to take the action that selecting the element is mapped to. After the action has been initiated, unless the action causes a different element to become active or changes the state of the element, the element reverts to GUE_ActiveState. Selecting an ActiveArea_Submitting causes a SubmitAction (of the type associated with the active area) to take place. What is actually submitted may depend upon the state of associated active areas. However, if the active area is a HypertextLink, MenuItem, or dedicated GUIButton the submission may not be state dependent. An off-screen element on an active window can be selected by keyboard action: tabbing to it to make it active and typing the Enter/ Return key.") ComputerInput.kif 1723-1727
(subclass SelectingActiveArea UserSignifiedAction) ComputerInput.kif 1722-1722 SelectingActiveArea is a subclass of UserSignifiedAction
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)
ComputerInput.kif 1843-1843 Pressing the DownArrowKey key isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)
ComputerInput.kif 1850-1850 Pressing the LeftArrowKey key isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)
ComputerInput.kif 1842-1842 Pressing the RightArrowKey key isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn TabKey) SelectingActiveArea)
ComputerInput.kif 1841-1841 Pressing the TabKey key isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)
ComputerInput.kif 1851-1851 Pressing the UpArrowKey key isgnifies SelectingActiveArea
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)
ComputerInput.kif 1848-1849 The union of pressing the TabKey key and ShiftKeyHoldDown isgnifies SelectingActiveArea

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


(subclass RequestingHyperlink SelectingActiveArea) ComputerInput.kif 1781-1781 RequestingHyperlink is a subclass of SelectingActiveArea
(subclass SelectingComputerMenuOption SelectingActiveArea) ComputerInput.kif 1791-1791 SelectingComputerMenuOption is a subclass of SelectingActiveArea
(udaCanSignify Clicking SelectingActiveArea) ComputerInput.kif 1728-1728 Clicking isgnifies SelectingActiveArea
(udaCanSignify DoubleClicking SelectingActiveArea) ComputerInput.kif 1729-1729 DoubleClicking isgnifies SelectingActiveArea
(udaCanSignify KeyboardAction SelectingActiveArea) ComputerInput.kif 1731-1731 KeyboardAction isgnifies SelectingActiveArea
(udaCanSignify ShiftClicking SelectingActiveArea) ComputerInput.kif 1730-1730 ShiftClicking isgnifies SelectingActiveArea

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


(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT ComputerMenuItem))
    (instance ?SELECT SelectingComputerMenuOption))
ComputerInput.kif 1794-1799
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))
ComputerInput.kif 1753-1760
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))
ComputerInput.kif 1765-1772
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT HypertextLink))
    (instance ?SELECT RequestingHyperlink))
ComputerInput.kif 1784-1789
(=>
    (instance ?SELECT SelectingActiveArea)
    (exists (?ELEMENT)
        (and
            (instance ?ELEMENT GUIActiveArea)
            (holdsDuring
                (BeginFn ?SELECT)
                (hasGUEState ?ELEMENT GUE_ActiveState))
            (patient ?SELECT ?ELEMENT))))
ComputerInput.kif 1740-1748


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