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
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1684-1684
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1685-1685
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1682-1682
(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1706-1706
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.") ComputerInput.kif 1681-1681
(subclass ScrollWheelRotating Rotating) ComputerInput.kif 1680-1680
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1679-1679
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1755-1755
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) ComputerInput.kif 1822-1822

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


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

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