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 MouseButtonHoldDown est une sous-classe de Clicking

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


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

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 l' intersection de MouseButtonHoldDown et SlidingComputerInputDeviceAction and DraggingWithCursor
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)
ComputerInput.kif 1805-1806 udaCanSignify l' intersection de MouseButtonHoldDown et SlidingComputerInputDeviceAction and WindowScrollingByUser


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