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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollWheelRotating
ScrollWheelRotating(scroll wheel rotating)

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


(disjoint ScrollWheelRotating AudioInput) ComputerInput.kif 1668-1668 Scroll wheel rotating is disjoint from audio input
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1669-1669 Scroll wheel rotating is disjoint from joystick motion
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1670-1670 Scroll wheel rotating is disjoint from keyboard action
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1667-1667 Scroll wheel rotating is disjoint from touch surface action
(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1691-1691 Scroll wheel rotating is disjoint from typing
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.") ComputerInput.kif 1666-1666 Scroll wheel rotating is disjoint from typing
(subclass ScrollWheelRotating Rotating) ComputerInput.kif 1665-1665 Scroll wheel rotating is a subclass of rotating
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1664-1664 Scroll wheel rotating is a subclass of user direct action
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1740-1740 Scroll wheel rotating isgnifies moving cursor
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) ComputerInput.kif 1807-1807 Scroll wheel rotating isgnifies window scrolling by user

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


(subclass ScrollWheelRotatingAway ScrollWheelRotating) ComputerInput.kif 1679-1679 Scroll wheel rotating away is a subclass of scroll wheel rotating
(subclass ScrollWheelRotatingInward ScrollWheelRotating) ComputerInput.kif 1683-1683 Scroll wheel rotating inward is a subclass of scroll wheel rotating
(termFormat EnglishLanguage ScrollWheelRotating "scroll wheel rotating") domainEnglishFormat.kif 65486-65486 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 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