Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ScrollWheelRotating

 Sigma KEE - ScrollWheelRotating
ScrollWheelRotating(scroll wheel rotating)

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


(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1680-1680 Scroll wheel rotating is a subclass of user direct action
(subclass ScrollWheelRotating Rotating) ComputerInput.kif 1681-1681 Scroll wheel rotating is a subclass of rotating
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.") ComputerInput.kif 1682-1682 Scroll wheel rotating is a subclass of rotating
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1683-1683 Scroll wheel rotating is disjoint from touch surface action
(disjoint ScrollWheelRotating AudioInput) ComputerInput.kif 1684-1684 Scroll wheel rotating is disjoint from audio input
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1685-1685 Scroll wheel rotating is disjoint from joystick motion
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1686-1686 Scroll wheel rotating is disjoint from keyboard action
(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1707-1707 Scroll wheel rotating is disjoint from typing
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1756-1756 Scroll wheel rotating isgnifies moving cursor
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) ComputerInput.kif 1823-1823 Scroll wheel rotating isgnifies window scrolling by user

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


(subclass ScrollWheelRotatingAway ScrollWheelRotating) ComputerInput.kif 1695-1695 Scroll wheel rotating away is a subclass of scroll wheel rotating
(subclass ScrollWheelRotatingInward ScrollWheelRotating) ComputerInput.kif 1699-1699 Scroll wheel rotating inward is a subclass of scroll wheel rotating
(termFormat EnglishLanguage ScrollWheelRotating "scroll wheel rotating") domainEnglishFormat.kif 65464-65464 Scroll wheel rotating inward is a subclass of scroll wheel rotating

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


(=>
    (instance ?ACT ScrollWheelRotating)
    (exists (?WHEEL)
        (and
            (experiencer ?ACT ?WHEEL)
            (instance ?WHEEL ScrollWheel))))		 ComputerInput.kif 1688-1693 If X is an instance of scroll wheel rotating, then there exists Y such that Y experiences X and Y is an instance of scroll wheel


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners