Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1In2En3En4Re5En6En7ReFn

 Sigma KEE - ComputerInputDevice
ComputerInputDevice(computer input device)data_input_device, digital_scanner, image_scanner, input_device, scanner

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


(subclass ComputerInputDevice ComputerHardware) QoSontology.kif 460-460 Computer input device is a subclass of computer hardware
(documentation ComputerInputDevice EnglishLanguage "A peripheral device that generates input for the computer such as a keyboard, scanner, or mouse.") QoSontology.kif 461-462 Computer input device is a subclass of computer hardware

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


(subclass ComputerIODevice ComputerInputDevice) ComputerInput.kif 119-119 Computer I/O device is a subclass of computer input device
(subclass ComputerKeyboard_Generic ComputerInputDevice) ComputerInput.kif 164-164 Generic computer keyboard is a subclass of computer input device
(subclass ComputerKeyboard ComputerInputDevice) ComputerInput.kif 170-170 Computer keyboard is a subclass of computer input device
(subclass ComputerInputButton ComputerInputDevice) ComputerInput.kif 186-186 Computer input button is a subclass of computer input device
(subclass ComputerMouse ComputerInputDevice) ComputerInput.kif 399-399 Computer mouse is a subclass of computer input device
(subclass ScrollWheel ComputerInputDevice) ComputerInput.kif 419-419 Scroll wheel is a subclass of computer input device
(subclass TouchSensitiveComputerInputDevice ComputerInputDevice) ComputerInput.kif 429-429 Touch sensitive computer input device is a subclass of computer input device
(subclass ComputerMicrophone ComputerInputDevice) ComputerInput.kif 557-557 Computer microphone is a subclass of computer input device
(subclass Joystick ComputerInputDevice) ComputerInput.kif 615-615 Joystick is a subclass of computer input device
(subclass Trackball ComputerInputDevice) ComputerInput.kif 622-622 Trackball is a subclass of computer input device
(subclass TouchScreen ComputerInputDevice) QoSontology.kif 576-576 Touch screen is a subclass of computer input device
(subclass DataSink ComputerInputDevice) QoSontology.kif 1832-1832 Data sink is a subclass of computer input device
(termFormat EnglishLanguage ComputerInputDevice "computer input device") domainEnglishFormat.kif 16314-16314 Data sink is a subclass of computer input device
(termFormat ChineseTraditionalLanguage ComputerInputDevice "電腦輸入設備") domainEnglishFormat.kif 16315-16315 Data sink is a subclass of computer input device
(termFormat ChineseLanguage ComputerInputDevice "电脑输入设备") domainEnglishFormat.kif 16316-16316 Data sink is a subclass of computer input device

appearance as argument number 3
-------------------------


(domain standardInputDevice 2 ComputerInputDevice) QoSontology.kif 598-598 The number 2 argument of standard input device is an instance of computer input device

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


(=>
    (and
        (instance ?RIGHT PhysicalRightCIButton)
        (component ?RIGHT ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT)
        (and
            (instance ?LEFT PhysicalLeftCIButton)
            (component ?LEFT ?DEV)
            (orientation ?RIGHT ?LEFT Left))))		 ComputerInput.kif 220-229 If X is an instance of physical right CI button, X is a component of Y, and Y is an instance of computer input device, then there exists Z such that Z is an instance of physical left CI button, Z is a component of Y, and X is left of to Z
(=>
    (and
        (instance ?MID MiddleCIButton)
        (component ?MID ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT ?RIGHT)
        (and
            (instance ?RIGHT RightCIButton)
            (instance ?LEFT LeftCIButton)
            (component ?RIGHT ?DEV)
            (component ?LEFT ?DEV)
            (between ?LEFT ?MID ?RIGHT)
            (orientation ?MID ?LEFT Left)
            (orientation ?MID ?RIGHT Right))))		 ComputerInput.kif 240-253 If X is an instance of middle CI button, X is a component of Y, and Y is an instance of computer input device, then All of the following hold: (1) there exist Z (2) W such that W is an instance of right CI button (3) Z is an instance of left CI button (4) W is a component of Y (5) Z is a component of Y (6) X is between Z (7) W (8) X is left of to Z (9) X is right of to W
(=>
    (and
        (connectedPeripheral ?COD ?C)
        (instance ?COD ComputerInputDevice)
        (instance ?COD ?CLASS))
    (capability ?CLASS origin DataTransfer))		 ComputingBrands.kif 3458-3463 If X is a connected peripheral of Y, X is an instance of computer input device, and X is an instance of Z, then data transfer is capable of doing Z as a origin

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


(=>
    (instance ?ACTION UserDirectAction)
    (exists (?DEVICE)
        (and
            (patient ?ACTION ?DEVICE)
            (instance ?DEVICE ComputerInputDevice))))		 ComputerInput.kif 1207-1212 If X is an instance of user direct action, then there exists Y such that Y is a patient of X and Y is an instance of computer input device


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners