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 1505-1507
(subclass MouseButtonHoldDown Clicking) ComputerInput.kif 1504-1504

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


(termFormat EnglishLanguage MouseButtonHoldDown "mouse button hold down") domainEnglishFormat.kif 65226-65226

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


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

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


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1747-1748
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)
ComputerInput.kif 1805-1806


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