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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MouseButtonHoldDown
MouseButtonHoldDown

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


(documentation MouseButtonHoldDown EnglishLanguage "MouseButtonHoldDown is a UserDirectAction of clicking a mouse (or similar) button, but holding the button down while taking other action (such as moving the mouse or reading text that appeared when the button was depressed).") ComputerInput.kif 1502-1504
(subclass MouseButtonHoldDown Clicking) ComputerInput.kif 1501-1501

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


(=>
    (instance ?ACT MouseButtonHoldDown)
    (exists (?MOUSE)
        (and
            (patient ?ACT ?MOUSE)
            (instance ?MOUSE ComputerMouse))))
ComputerInput.kif 1506-1511

statement
-------------------------


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1744-1745
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)
ComputerInput.kif 1802-1803


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