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 1697-1697 ScrollWheelRotating is disjoint from AudioInput
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1698-1698 ScrollWheelRotating is disjoint from JoystickMotion
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1699-1699 ScrollWheelRotating is disjoint from KeyboardAction
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1696-1696 ScrollWheelRotating is disjoint from TouchSurfaceAction
(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1720-1720 ScrollWheelRotating is disjoint from Typing
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.") ComputerInput.kif 1695-1695
(subclass ScrollWheelRotating Rotating) ComputerInput.kif 1694-1694 ScrollWheelRotating is a subclass of rotating
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1693-1693 ScrollWheelRotating is a subclass of UserDirectAction
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1769-1769 ScrollWheelRotating isgnifies MovingCursor
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) ComputerInput.kif 1836-1836 ScrollWheelRotating isgnifies WindowScrollingByUser

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


(subclass ScrollWheelRotatingAway ScrollWheelRotating) ComputerInput.kif 1708-1708 ScrollWheelRotatingAway is a subclass of ScrollWheelRotating
(subclass ScrollWheelRotatingInward ScrollWheelRotating) ComputerInput.kif 1712-1712 ScrollWheelRotatingInward is a subclass of ScrollWheelRotating

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


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


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