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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerInputDevice

 Sigma KEE - ComputerInputDevice
ComputerInputDevice(電腦輸入設備)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 468-469
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 467-467 子類 電腦輸入設備 and 電腦硬件

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 119-119 子類 ComputerIODevice and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 170-170 子類 ComputerInputButton and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 471-471 子類 ComputerKeyboard and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 164-164 子類 ComputerKeyboard_Generic and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 541-541 子類 ComputerMicrophone and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 383-383 子類 ComputerMouse and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1708-1708 子類 數據匯 and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 599-599 子類 Joystick and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 403-403 子類 ScrollWheel and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 482-482 子類 TouchScreen and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 413-413 子類 TouchSensitiveComputerInputDevice and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 606-606 子類 Trackball and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16314-16314
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16313-16313
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16312-16312

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 504-504 域 標準輸入設備, 2 and 電腦輸入設備

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3552-3557
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 224-237
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 204-213