No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 239-239 | ComputerKeyboardKey est une sous-classe de ComputerInputButton |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 269-269 | CharacterKey est une sous-classe de ComputerKeyboardKey |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 273-273 | SpecialComputerKeyboardKey est une sous-classe de ComputerKeyboardKey |
![]() |