ComputerInputDevice - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ComputerInputDevice EnglishLanguage "A peripheral device that generates input for the computer such as a keyboard, scanner, or mouse.")	QoSontology.kif 468-469
(subclass ComputerInputDevice ComputerHardware)	QoSontology.kif 467-467	ComputerInputDevice ist eine teilkategorie von ComputerHardware

appearance as argument number 2

(subclass ComputerIODevice ComputerInputDevice)	ComputerInput.kif 119-119	ComputerIODevice ist eine teilkategorie von ComputerInputDevice
(subclass ComputerInputButton ComputerInputDevice)	ComputerInput.kif 170-170	ComputerInputButton ist eine teilkategorie von ComputerInputDevice
(subclass ComputerKeyboard ComputerInputDevice)	QoSontology.kif 471-471	ComputerKeyboard ist eine teilkategorie von ComputerInputDevice
(subclass ComputerKeyboard_Generic ComputerInputDevice)	ComputerInput.kif 164-164	ComputerKeyboard_Generic ist eine teilkategorie von ComputerInputDevice
(subclass ComputerMicrophone ComputerInputDevice)	ComputerInput.kif 541-541	ComputerMicrophone ist eine teilkategorie von ComputerInputDevice
(subclass ComputerMouse ComputerInputDevice)	ComputerInput.kif 383-383	ComputerMouse ist eine teilkategorie von ComputerInputDevice
(subclass DataSink ComputerInputDevice)	QoSontology.kif 1708-1708	DataSink ist eine teilkategorie von ComputerInputDevice
(subclass Joystick ComputerInputDevice)	ComputerInput.kif 599-599	Joystick ist eine teilkategorie von ComputerInputDevice
(subclass ScrollWheel ComputerInputDevice)	ComputerInput.kif 403-403	ScrollWheel ist eine teilkategorie von ComputerInputDevice
(subclass TouchScreen ComputerInputDevice)	QoSontology.kif 482-482	TouchScreen ist eine teilkategorie von ComputerInputDevice
(subclass TouchSensitiveComputerInputDevice ComputerInputDevice)	ComputerInput.kif 413-413	TouchSensitiveComputerInputDevice ist eine teilkategorie von ComputerInputDevice
(subclass Trackball ComputerInputDevice)	ComputerInput.kif 606-606	Trackball ist eine teilkategorie von ComputerInputDevice
(termFormat ChineseLanguage ComputerInputDevice "电脑输入设备")	domainEnglishFormat.kif 16314-16314
(termFormat ChineseTraditionalLanguage ComputerInputDevice "電腦輸入設備")	domainEnglishFormat.kif 16313-16313
(termFormat EnglishLanguage ComputerInputDevice "computer input device")	domainEnglishFormat.kif 16312-16312

appearance as argument number 3

(domain standardInputDevice 2 ComputerInputDevice)

QoSontology.kif 504-504

Die Zahl 2 Argument von standardInputDevice ist ein fall von ComputerInputDevice %n{nicht}

antecedent

(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice) (instance ?COD ?CLASS)) (capability ?CLASS origin DataTransfer))	ComputingBrands.kif 3552-3557	Wenn connectedPeripheral ComputerHardware and Computer und ComputerHardware ist ein fall von ComputerInputDevice %n{nicht} und ComputerHardware ist ein fall von ComputerLASS %n{nicht}, dann DataTransfer ist faehig %n{nicht}, in der Rolle origin ComputerLASS zu tun
(=> (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 224-237	Wenn CorpuscularObject ist ein fall von MiddleCIButton %n{nicht} und CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und CorpuscularObject ist ein fall von ComputerInputDevice %n{nicht}, dann es gibt CorpuscularObject und CorpuscularObject um CorpuscularObject ist ein fall von RightCIButton %n{nicht} und CorpuscularObject ist ein fall von LeftCIButton %n{nicht} und CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und CorpuscularObject ist zwischen CorpuscularObject und CorpuscularObject %n{nicht} und CorpuscularObject ist Left hinsichlich CorpuscularObject %n{nicht} und CorpuscularObject ist Right hinsichlich ** CorpuscularObject %n{nicht}
(=> (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 204-213	Wenn CorpuscularObject ist ein fall von PhysicalRightCIButton %n{nicht} und CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und CorpuscularObject ist ein fall von ComputerInputDevice %n{nicht}, dann es gibt CorpuscularObject um CorpuscularObject ist ein fall von PhysicalLeftCIButton %n{nicht} und CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und CorpuscularObject ist Left hinsichlich CorpuscularObject %n{nicht}

consequent

(=>
    (instance ?ACTION UserDirectAction)
    (exists (?DEVICE)
        (and
            (patient ?ACTION ?DEVICE)
            (instance ?DEVICE ComputerInputDevice))))

ComputerInput.kif 1191-1196

Wenn Process ist ein fall von UserDirectAction %n{nicht},
dann es gibt Entity um ** Entity ist ein patient von ** Process %n{nicht} und ** Entity ist ein fall von ComputerInputDevice %n{nicht}

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

KB Term:			Term intersection

English Word: