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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MouseMoving

Sigma KEE - MouseMoving
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

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


(=>
    (instance ?ACT MouseMoving)
    (exists (?MOUSE)
        (and
            (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