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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MouseButtonHoldDown

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 MouseButtonHoldDownClickingsubclass

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 结合 MouseButtonHoldDownSlidingComputerInputDeviceAction isgnifies DraggingWithCursor
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)
ComputerInput.kif 1802-1803 结合 MouseButtonHoldDownSlidingComputerInputDeviceAction isgnifies WindowScrollingByUser


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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