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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JoystickMotion

Sigma KEE - JoystickMotion
JoystickMotion(joystick motion)

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


(disjoint JoystickMotion KeyboardAction) ComputerInput.kif 1636-1636 Joystick motion is disjoint from keyboard action
(disjoint JoystickMotion TouchSurfaceAction) ComputerInput.kif 1635-1635 Joystick motion is disjoint from touch surface action
(documentation JoystickMotion EnglishLanguage "A UserDirectAction consisting of moving a Joystick.") ComputerInput.kif 1634-1634
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1633-1633 Joystick motion is a subclass of user direct action

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


(disjoint AudioInput JoystickMotion) ComputerInput.kif 1656-1656 Audio input is disjoint from joystick motion
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1669-1669 Scroll wheel rotating is disjoint from joystick motion
(disjoint Typing JoystickMotion) ComputerInput.kif 1694-1694 Typing is disjoint from joystick motion
(termFormat EnglishLanguage JoystickMotion "joystick motion") domainEnglishFormat.kif 65057-65057

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


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

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


(=>
    (and
        (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