No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 239-239 | 子類 ComputerKeyboardKey and ComputerInputButton |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 269-269 | 子類 CharacterKey and ComputerKeyboardKey |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 273-273 | 子類 SpecialComputerKeyboardKey and ComputerKeyboardKey |