SpecialComputerKeyboardKey
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 278-278 | SpecialComputerKeyboardKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 274-277 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 273-273 | SpecialComputerKeyboardKey 是 ComputerKeyboardKey 的 subclass |
appearance as argument number 2 |
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 287-287 | EnterKey 是 SpecialComputerKeyboardKey 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 327-327 | MultiKeypressKey 是 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 280-280 | TabKey 是 SpecialComputerKeyboardKey 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65526-65526 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1402-1407 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1395-1400 |
|