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 1723-1727
(subclass MovingCursor Guiding) ComputerInput.kif 1722-1722
(subclass MovingCursor Translocation) ComputerInput.kif 1721-1721
(subclass MovingCursor UserSignifiedGraphicalAction) ComputerInput.kif 1720-1720
(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)
ComputerInput.kif 1738-1738

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


(subclass DraggingWithCursor MovingCursor) ComputerInput.kif 1741-1741
(udaCanSignify Clicking MovingCursor) ComputerInput.kif 1739-1739
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1737-1737
(udaCanSignify SlidingComputerInputDeviceAction MovingCursor) ComputerInput.kif 1736-1736

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


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


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