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



KB Term:  Term intersection
English Word: 

Sigma KEE - MouseButtonHoldDown
MouseButtonHoldDown(mouse button hold down)

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


(subclass MouseButtonHoldDown Clicking) ComputerInput.kif 1520-1520 Mouse button hold down is a subclass of clicking
(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 1521-1523 Mouse button hold down is a subclass of clicking

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


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

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


(=>
    (instance ?ACT MouseButtonHoldDown)
    (exists (?MOUSE)
        (and
            (patient ?ACT ?MOUSE)
            (instance ?MOUSE ComputerMouse))))
ComputerInput.kif 1525-1530 If X is an instance of mouse button hold down, then there exists Y such that Y is a patient of X and Y is an instance of computer mouse

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


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1763-1764 The union of mouse button hold down and sliding computer input device action isgnifies dragging with cursor
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)
ComputerInput.kif 1821-1822 The union of mouse button hold down and sliding computer input device action isgnifies window scrolling by user


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners