No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 437-437 | Computer touchscreen is a subclass of touch sensitive computer input device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 438-438 | Computer touchscreen is a subclass of computer screen |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 446-446 | Computer touchscreen keyboard is a subclass of computer touchscreen |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 466-466 | Computer touchscreen keypad is a subclass of computer touchscreen |