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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MovingCursor
MovingCursor(moving cursor)

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


(documentation MovingCursor EnglishLanguage "The UserSignifiedGraphicalAction is accomplished by a ComputerUser taking a UserDirectAction that is interpreted as signifying that a cursor should be moved. Depending upon program state this could be accomplished by UserDirectActions of MouseMoving, a TouchSurfaceSlide, JoystickMotion, ScrollWheelRotating, KeyboardAction, repeated %&Clicking, or AudioInput.") ComputerInput.kif 1726-1730
(subclass MovingCursor Guiding) ComputerInput.kif 1725-1725 Moving cursor is a subclass of guiding
(subclass MovingCursor Translocation) ComputerInput.kif 1724-1724 Moving cursor is a subclass of translocation
(subclass MovingCursor UserSignifiedGraphicalAction) ComputerInput.kif 1723-1723 Moving cursor is a subclass of user signified graphical action
(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)
ComputerInput.kif 1741-1741 Pressing the arrow key key isgnifies moving cursor

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


(subclass DraggingWithCursor MovingCursor) ComputerInput.kif 1744-1744 Dragging with cursor is a subclass of moving cursor
(termFormat EnglishLanguage MovingCursor "moving cursor") domainEnglishFormat.kif 65252-65252 Dragging with cursor is a subclass of moving cursor
(udaCanSignify Clicking MovingCursor) ComputerInput.kif 1742-1742 Clicking isgnifies moving cursor
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1740-1740 Scroll wheel rotating isgnifies moving cursor
(udaCanSignify SlidingComputerInputDeviceAction MovingCursor) ComputerInput.kif 1739-1739 Sliding computer input device action isgnifies moving cursor

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


(=>
    (instance ?ACT MovingCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE Cursor))))
ComputerInput.kif 1732-1737


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