No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 377-377 | Computer keypad is a subclass of generic computer keyboard |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 465-465 | Computer touchscreen keypad is a subclass of computer keypad |