| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 273-273 | SpecialComputerKeyboardKey 是 ComputerKeyboardKey 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 280-280 | TabKey 是 SpecialComputerKeyboardKey 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 287-287 | EnterKey 是 SpecialComputerKeyboardKey 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 292-292 | ArrowKey 是 SpecialComputerKeyboardKey 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 319-319 | NumberedFunctionKey 是 SpecialComputerKeyboardKey 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 327-327 | MultiKeypressKey 是 SpecialComputerKeyboardKey 的 subclass |
|
|