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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - JoystickMotion

appearance as argument number 1

(disjoint JoystickMotion KeyboardAction) ComputerInput.kif 1636-1636
(disjoint JoystickMotion TouchSurfaceAction) ComputerInput.kif 1635-1635
(documentation JoystickMotion EnglishLanguage "A UserDirectAction consisting of moving a Joystick.") ComputerInput.kif 1634-1634
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1633-1633

appearance as argument number 2

(disjoint AudioInput JoystickMotion) ComputerInput.kif 1656-1656
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1669-1669
(disjoint Typing JoystickMotion) ComputerInput.kif 1694-1694
(termFormat EnglishLanguage JoystickMotion "joystick motion") domainEnglishFormat.kif 65057-65057


    (instance ?ACT JoystickMotion)
    (exists (?JOYSTICK)
            (patient ?ACT ?JOYSTICK)
            (instance ?JOYSTICK Joystick))))
ComputerInput.kif 1638-1643


        (instance ?ACT UserDirectAction)
        (patient ?ACT ?JOYSTICK)
        (instance ?JOYSTICK Joystick))
    (instance ?ACT JoystickMotion))
ComputerInput.kif 1645-1650

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