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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScrollWheelRotating

Sigma KEE - ScrollWheelRotating
ScrollWheelRotating

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


(disjoint ScrollWheelRotating AudioInput) ComputerInput.kif 1668-1668 ScrollWheelRotating 和 % 2 是 disjoint
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1669-1669 ScrollWheelRotating 和 % 2 是 disjoint
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1670-1670 ScrollWheelRotating 和 % 2 是 disjoint
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1667-1667 ScrollWheelRotating 和 % 2 是 disjoint
(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1691-1691 ScrollWheelRotating 和 % 2 是 disjoint
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.") ComputerInput.kif 1666-1666
(subclass ScrollWheelRotating Rotating) ComputerInput.kif 1665-1665 ScrollWheelRotating旋转subclass
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1664-1664 ScrollWheelRotatingUserDirectActionsubclass
(udaCanSignify ScrollWheelRotating MovingCursor) ComputerInput.kif 1740-1740 ScrollWheelRotating isgnifies MovingCursor
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) ComputerInput.kif 1807-1807 ScrollWheelRotating isgnifies WindowScrollingByUser

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


(subclass ScrollWheelRotatingAway ScrollWheelRotating) ComputerInput.kif 1679-1679 ScrollWheelRotatingAwayScrollWheelRotatingsubclass
(subclass ScrollWheelRotatingInward ScrollWheelRotating) ComputerInput.kif 1683-1683 ScrollWheelRotatingInwardScrollWheelRotatingsubclass
(termFormat EnglishLanguage ScrollWheelRotating "scroll wheel rotating") domainEnglishFormat.kif 65461-65461

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


(=>
    (instance ?ACT ScrollWheelRotating)
    (exists (?WHEEL)
        (and
            (experiencer ?ACT ?WHEEL)
            (instance ?WHEEL ScrollWheel))))
ComputerInput.kif 1672-1677


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 is open source software produced by Articulate Software and its partners