No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 239-239 | ComputerKeyboardKey 是 ComputerInputButton 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 269-269 | CharacterKey 是 ComputerKeyboardKey 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 273-273 | SpecialComputerKeyboardKey 是 ComputerKeyboardKey 的 subclass |
![]() |