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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GameIODevice
GameIODevice

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


(documentation GameIODevice EnglishLanguage "A type of ComputerIODevice designed for playing video games.") ComputerInput.kif 645-646
(subclass GameIODevice ComputerIODevice) ComputerInput.kif 643-643 subclass GameIODevice and ComputerIODevice

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


(subclass GameIODeviceWithAccelerometer GameIODevice) ComputerInput.kif 661-661 subclass GameIODeviceWithAccelerometer and GameIODevice
(subclass GamePad GameIODevice) ComputerInput.kif 648-648 subclass GamePad and GameIODevice

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


(=>
    (and
        (instance ?DEVICE GameIODevice)
        (instance ?ACCELEROMETER Accelerometer)
        (component ?ACCELEROMETER ?DEVICE))
    (instance ?DEVICE GameIODeviceWithAccelerometer))
ComputerInput.kif 669-674


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 3.0 is open source software produced by Articulate Software and its partners