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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MovingCursor
MovingCursor

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 1513-1513
(subclass MovingCursor Guiding) ComputerInput.kif 1512-1512 MovingCursor is a subclass of guiding
(subclass MovingCursor Translocation) ComputerInput.kif 1511-1511 MovingCursor is a subclass of translocation
(subclass MovingCursor UserSignifiedGraphicalAction) ComputerInput.kif 1510-1510 MovingCursor is a subclass of UserSignifiedGraphicalAction
(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)
ComputerInput.kif 1524-1524 Pressing the ArrowKey key isgnifies MovingCursor

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


(subclass DraggingWithCursor MovingCursor) ComputerInput.kif 1527-1527 DraggingWithCursor is a subclass of MovingCursor
(udaCanSignify Clicking MovingCursor) ComputerInput.kif 1525-1525 Clicking isgnifies MovingCursor
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1523-1523 ScrollWheelRotating isgnifies MovingCursor
(udaCanSignify SlidingComputerInputDeviceAction MovingCursor) ComputerInput.kif 1522-1522 SlidingComputerInputDeviceAction isgnifies MovingCursor

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


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


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