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 427-427 | ComputerTouchpad est une sous-classe de TouchSensitiveComputerInputDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 437-437 | ComputerTouchscreen est une sous-classe de TouchSensitiveComputerInputDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 450-450 | ComputerTouchscreenKeyboard est une sous-classe de TouchSensitiveComputerInputDevice |