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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollWheelRotating
ScrollWheelRotating

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


(disjoint ScrollWheelRotating AudioInput) ComputerInput.kif 1683-1683 ScrollWheelRotating is disjoint from AudioInput
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1684-1684 ScrollWheelRotating is disjoint from JoystickMotion
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1685-1685 ScrollWheelRotating is disjoint from KeyboardAction
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1682-1682 ScrollWheelRotating is disjoint from TouchSurfaceAction
(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1706-1706 ScrollWheelRotating is disjoint from Typing
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.") ComputerInput.kif 1681-1681
(subclass ScrollWheelRotating Rotating) ComputerInput.kif 1680-1680 ScrollWheelRotating is a subclass of rotating
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1679-1679 ScrollWheelRotating is a subclass of UserDirectAction
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1755-1755 ScrollWheelRotating isgnifies MovingCursor
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) ComputerInput.kif 1822-1822 ScrollWheelRotating isgnifies WindowScrollingByUser

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


(subclass ScrollWheelRotatingAway ScrollWheelRotating) ComputerInput.kif 1694-1694 ScrollWheelRotatingAway is a subclass of ScrollWheelRotating
(subclass ScrollWheelRotatingInward ScrollWheelRotating) ComputerInput.kif 1698-1698 ScrollWheelRotatingInward is a subclass of ScrollWheelRotating

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


(=>
    (instance ?ACT ScrollWheelRotating)
    (exists (?WHEEL)
        (and
            (experiencer ?ACT ?WHEEL)
            (instance ?WHEEL ScrollWheel))))
ComputerInput.kif 1687-1692


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