TreeView Knowledge Base Browser

appearance as argument number 1

(subclass GameIODevice ComputerIODevice)	ComputerInput.kif 631-631	Game I/O device is a subclass of computer I/O device
(documentation GameIODevice EnglishLanguage "A type of ComputerIODevice designed for playing video games.")	ComputerInput.kif 633-634	Game I/O device is a subclass of computer I/O device

appearance as argument number 2

(subclass GamePad GameIODevice)	ComputerInput.kif 636-636	Game pad is a subclass of game I/O device
(subclass GameIODeviceWithAccelerometer GameIODevice)	ComputerInput.kif 649-649	Game I/O device with accelerometer is a subclass of game I/O device
(termFormat EnglishLanguage GameIODevice "game I/O device")	domainEnglishFormat.kif 64927-64927	Game I/O device with accelerometer is a subclass of game I/O device

antecedent

(=>
    (and
        (instance ?DEVICE GameIODevice)
        (instance ?ACCELEROMETER Accelerometer)
        (component ?ACCELEROMETER ?DEVICE))
    (instance ?DEVICE GameIODeviceWithAccelerometer))