No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 437-437 | ComputerTouchscreen e' uma sub-classe de TouchSensitiveComputerInputDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 438-438 | ComputerTouchscreen e' uma sub-classe de ComputerScreen |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 446-446 | ComputerTouchscreenKeyboard e' uma sub-classe de ComputerTouchscreen |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 466-466 | ComputerTouchscreenKeypad e' uma sub-classe de ComputerTouchscreen |