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