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 and AudioInput
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1669-1669 不相交的 ScrollWheelRotating and JoystickMotion
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1670-1670 不相交的 ScrollWheelRotating and KeyboardAction
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1667-1667 不相交的 ScrollWheelRotating and TouchSurfaceAction
(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1691-1691 不相交的 ScrollWheelRotating and Typing
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.") ComputerInput.kif 1666-1666
(subclass ScrollWheelRotating Rotating) ComputerInput.kif 1665-1665 子類 ScrollWheelRotating and 旋轉
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1664-1664 子類 ScrollWheelRotating and UserDirectAction
(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 子類 ScrollWheelRotatingAway and ScrollWheelRotating
(subclass ScrollWheelRotatingInward ScrollWheelRotating) ComputerInput.kif 1683-1683 子類 ScrollWheelRotatingInward and ScrollWheelRotating
(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