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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JoystickMotion
JoystickMotion

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


(disjoint JoystickMotion KeyboardAction) ComputerInput.kif 1651-1651 JoystickMotion is disjoint from KeyboardAction
(disjoint JoystickMotion TouchSurfaceAction) ComputerInput.kif 1650-1650 JoystickMotion is disjoint from TouchSurfaceAction
(documentation JoystickMotion EnglishLanguage "A UserDirectAction consisting of moving a Joystick.") ComputerInput.kif 1649-1649
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1648-1648 JoystickMotion is a subclass of UserDirectAction

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


(disjoint AudioInput JoystickMotion) ComputerInput.kif 1671-1671 AudioInput is disjoint from JoystickMotion
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1684-1684 ScrollWheelRotating is disjoint from JoystickMotion
(disjoint Typing JoystickMotion) ComputerInput.kif 1709-1709 Typing is disjoint from JoystickMotion

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


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

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


(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?JOYSTICK)
        (instance ?JOYSTICK Joystick))
    (instance ?ACT JoystickMotion))
ComputerInput.kif 1660-1665


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners