|
|
   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 | ComputerInputDevice e' uma sub-classe de ComputerHardware |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 119-119 | ComputerIODevice e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 170-170 | ComputerInputButton e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 471-471 | ComputerKeyboard e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 164-164 | ComputerKeyboard_Generic e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 541-541 | ComputerMicrophone e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 383-383 | ComputerMouse e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1708-1708 | DataSink e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 599-599 | Joystick e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 403-403 | ScrollWheel e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 482-482 | TouchScreen e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 413-413 | TouchSensitiveComputerInputDevice e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 606-606 | Trackball e' uma sub-classe de ComputerInputDevice |
| 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 | O argumento numero 2 de standardInputDevice e' uma instancia de ComputerInputDevice |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1191-1196 |
|
|
|
|