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 1668-1668
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1669-1669
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1670-1670
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1667-1667
(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1691-1691
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.") ComputerInput.kif 1666-1666
(subclass ScrollWheelRotating Rotating) ComputerInput.kif 1665-1665
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1664-1664
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1740-1740
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) ComputerInput.kif 1807-1807

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


(subclass ScrollWheelRotatingAway ScrollWheelRotating) ComputerInput.kif 1679-1679
(subclass ScrollWheelRotatingInward ScrollWheelRotating) ComputerInput.kif 1683-1683
(termFormat EnglishLanguage ScrollWheelRotating "scroll wheel rotating") domainEnglishFormat.kif 65461-65461

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


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


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