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


KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollWheel
ScrollWheel(scroll wheel)

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


(subclass ScrollWheel ComputerInputDevice) ComputerInput.kif 419-419 Scroll wheel is a subclass of computer input device
(documentation ScrollWheel EnglishLanguage "A ComputerInputDevice that consists of a wheel that projects perpendicularly out of a surface. A ComputerUser may rotate it in either direction with a finger. ScrollWheels are often part of ComputerMouses.") ComputerInput.kif 421-424 Scroll wheel is a subclass of computer input device
(disjoint ScrollWheel ComputerKeyboard_Generic) ComputerInput.kif 426-426 Scroll wheel is disjoint from generic computer keyboard
(disjoint ScrollWheel ComputerMouse) ComputerInput.kif 427-427 Scroll wheel is disjoint from computer mouse

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


(disjoint TouchSensitiveComputerInputDevice ScrollWheel) ComputerInput.kif 441-441 Touch sensitive computer input device is disjoint from scroll wheel
(termFormat EnglishLanguage ScrollWheel "scroll wheel") domainEnglishFormat.kif 65463-65463 Touch sensitive computer input device is disjoint from scroll wheel

consequent
-------------------------


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