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 2160-2172
(subclass SelectingActiveArea UserSignifiedAction) ComputerInput.kif 2159-2159 SelectingActiveArea est une sous-classe de UserSignifiedAction
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)		 ComputerInput.kif 2302-2302 udaCanSignify PressingKeyFn DownArrowKey and SelectingActiveArea
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)		 ComputerInput.kif 2311-2311 udaCanSignify PressingKeyFn LeftArrowKey and SelectingActiveArea
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)		 ComputerInput.kif 2301-2301 udaCanSignify PressingKeyFn RightArrowKey and SelectingActiveArea
(udaCanSignify
    (PressingKeyFn TabKey) SelectingActiveArea)		 ComputerInput.kif 2300-2300 udaCanSignify PressingKeyFn TabKey and SelectingActiveArea
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)		 ComputerInput.kif 2312-2312 udaCanSignify PressingKeyFn UpArrowKey and SelectingActiveArea
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)		 ComputerInput.kif 2309-2310 udaCanSignify l' union de PressingKeyFn TabKey et ShiftKeyHoldDown and SelectingActiveArea

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


(subclass RequestingHyperlink SelectingActiveArea) ComputerInput.kif 2231-2231 RequestingHyperlink est une sous-classe de SelectingActiveArea
(subclass SelectingComputerMenuOption SelectingActiveArea) ComputerInput.kif 2242-2242 SelectingComputerMenuOption est une sous-classe de SelectingActiveArea
(termFormat EnglishLanguage SelectingActiveArea "selecting active area") domainEnglishFormat.kif 65468-65468
(udaCanSignify Clicking SelectingActiveArea) ComputerInput.kif 2173-2173 udaCanSignify Clicking and SelectingActiveArea
(udaCanSignify DoubleClicking SelectingActiveArea) ComputerInput.kif 2174-2174 udaCanSignify DoubleClicking and SelectingActiveArea
(udaCanSignify KeyboardAction SelectingActiveArea) ComputerInput.kif 2176-2176 udaCanSignify KeyboardAction and SelectingActiveArea
(udaCanSignify ShiftClicking SelectingActiveArea) ComputerInput.kif 2175-2175 udaCanSignify ShiftClicking and SelectingActiveArea

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


(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT ComputerMenuItem))
    (instance ?SELECT SelectingComputerMenuOption))		 ComputerInput.kif 2246-2251
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))		 ComputerInput.kif 2203-2210
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))		 ComputerInput.kif 2215-2222
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT HypertextLink))
    (instance ?SELECT RequestingHyperlink))		 ComputerInput.kif 2235-2240
(=>
    (instance ?SELECT SelectingActiveArea)
    (exists (?ELEMENT)
        (and
            (instance ?ELEMENT GUIActiveArea)
            (holdsDuring
                (BeginFn ?SELECT)
                (hasGUEState ?ELEMENT GUE_ActiveState))
            (patient ?SELECT ?ELEMENT))))		 ComputerInput.kif 2190-2198


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