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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JoystickMotion

Sigma KEE - JoystickMotion
JoystickMotion

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


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

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


(disjoint AudioInput JoystickMotion) ComputerInput.kif 1656-1656 AudioInput 和 % 2 是 disjoint
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1669-1669 ScrollWheelRotating 和 % 2 是 disjoint
(disjoint Typing JoystickMotion) ComputerInput.kif 1694-1694 Typing 和 % 2 是 disjoint
(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