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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - MouseMoving

appearance as argument number 1

(documentation MouseMoving EnglishLanguage "MouseMoving is a UserDirectAction of moving a ComputerMouse in such a way that the motion is registered by the controlling program.") ComputerInput.kif 1550-1551
(subclass MouseMoving SlidingComputerInputDeviceAction) ComputerInput.kif 1549-1549 MouseMoving is a subclass of SlidingComputerInputDeviceAction


    (instance ?ACT MouseMoving)
    (exists (?MOUSE)
            (patient ?ACT ?MOUSE)
            (instance ?MOUSE ComputerMouse))))
ComputerInput.kif 1553-1558

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners