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 447-447 | Computer touchscreen keyboard is a subclass of icon |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 448-448 | Computer touchscreen keyboard is a subclass of image |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 449-449 | Computer touchscreen keyboard is a subclass of generic computer keyboard |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 450-450 | Computer touchscreen keyboard is a subclass of touch sensitive computer input device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 883-883 | Computer touchscreen keyboard is a subclass of GUI active area |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 464-464 | Computer touchscreen keypad is a subclass of computer touchscreen keyboard |