TreeView Knowledge Base Browser - ComputerInputDevice

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 は ComputerHardware の subclass では %n

appearance as argument number 2

(subclass ComputerIODevice ComputerInputDevice)	ComputerInput.kif 119-119	ComputerIODevice は ComputerInputDevice の subclass では %n
(subclass ComputerInputButton ComputerInputDevice)	ComputerInput.kif 170-170	ComputerInputButton は ComputerInputDevice の subclass では %n
(subclass ComputerKeyboard ComputerInputDevice)	QoSontology.kif 471-471	ComputerKeyboard は ComputerInputDevice の subclass では %n
(subclass ComputerKeyboard_Generic ComputerInputDevice)	ComputerInput.kif 164-164	ComputerKeyboard_Generic は ComputerInputDevice の subclass では %n
(subclass ComputerMicrophone ComputerInputDevice)	ComputerInput.kif 541-541	ComputerMicrophone は ComputerInputDevice の subclass では %n
(subclass ComputerMouse ComputerInputDevice)	ComputerInput.kif 383-383	ComputerMouse は ComputerInputDevice の subclass では %n
(subclass DataSink ComputerInputDevice)	QoSontology.kif 1708-1708	DataSink は ComputerInputDevice の subclass では %n
(subclass Joystick ComputerInputDevice)	ComputerInput.kif 599-599	Joystick は ComputerInputDevice の subclass では %n
(subclass ScrollWheel ComputerInputDevice)	ComputerInput.kif 403-403	ScrollWheel は ComputerInputDevice の subclass では %n
(subclass TouchScreen ComputerInputDevice)	QoSontology.kif 482-482	TouchScreen は ComputerInputDevice の subclass では %n
(subclass TouchSensitiveComputerInputDevice ComputerInputDevice)	ComputerInput.kif 413-413	TouchSensitiveComputerInputDevice は ComputerInputDevice の subclass では %n
(subclass Trackball ComputerInputDevice)	ComputerInput.kif 606-606	Trackball は ComputerInputDevice の subclass では %n
(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

standardInputDevice の数値 2 引数は ComputerInputDevice の instance では %n

antecedent

(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice) (instance ?COD ?CLASS)) (capability ?CLASS origin DataTransfer))	ComputingBrands.kif 3552-3557	connectedPeripheral ComputerHardware and Computer ComputerHardware は ComputerInputDevice の instance では %n ComputerHardware は ComputerLASS の instance では %n DataTransfer は ComputerLASS を origin として行う capable では %n
(=> (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	微粒子オブジェクトは MiddleCIButton の instance では %n 微粒子オブジェクトは微粒子オブジェクトの component では %n 微粒子オブジェクトは ComputerInputDevice の instance では %n 微粒子オブジェクト微粒子オブジェクト微粒子オブジェクトは RightCIButton の instance では %n 微粒子オブジェクトは LeftCIButton の instance では %n 微粒子オブジェクトは微粒子オブジェクトの component では %n 微粒子オブジェクトは微粒子オブジェクトの component では %n 微粒子オブジェクトは微粒子オブジェクトと微粒子オブジェクトの between では %n 微粒子オブジェクトは Left 対微粒子オブジェクトでは %n 微粒子オブジェクトは Right 対微粒子オブジェクトでは %n
(=> (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	微粒子オブジェクトは PhysicalRightCIButton の instance では %n 微粒子オブジェクトは微粒子オブジェクトの component では %n 微粒子オブジェクトは ComputerInputDevice の instance では %n 微粒子オブジェクト微粒子オブジェクトは PhysicalLeftCIButton の instance では %n 微粒子オブジェクトは微粒子オブジェクトの component では %n 微粒子オブジェクトは Left 対微粒子オブジェクトでは %n

consequent

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

ComputerInput.kif 1191-1196

工程は UserDirectAction の instance では %n
エンティティーエンティティーは工程の patient では %n エンティティーは ComputerInputDevice の instance では %n

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

KB Term:			Term intersection

English Word: