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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (instance ?ACT ScrollWheelRotating)
    (exists (?WHEEL)
            (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