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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScrollWheel

Sigma KEE - ScrollWheel
ScrollWheel

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


(disjoint ScrollWheel ComputerKeyboard_Generic) ComputerInput.kif 348-348
(disjoint ScrollWheel ComputerMouse) ComputerInput.kif 349-349
(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 347-347
(subclass ScrollWheel ComputerInputDevice) ComputerInput.kif 346-346

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


(disjoint TouchSensitiveComputerInputDevice ScrollWheel) ComputerInput.kif 355-355

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


(=>
    (instance ?ACT ScrollWheelRotating)
    (exists (?WHEEL)
        (and
            (experiencer ?ACTION ?WHEEL)
            (instance ?WHEEL ScrollWheel))))
ComputerInput.kif 1296-1301


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners