No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 467-467 | ComputerInputDevice est une sous-classe de ComputerHardware |
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. | QoSontology.kif 482-482 | TouchScreen 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 119-119 | ComputerIODevice 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 170-170 | ComputerInputButton 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. | ComputerInput.kif 403-403 | ScrollWheel 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 541-541 | ComputerMicrophone 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 606-606 | Trackball est une sous-classe de ComputerInputDevice |
![]() |