No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 239-239 | ComputerKeyboardKey e' uma sub-classe de ComputerInputButton |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 269-269 | CharacterKey e' uma sub-classe de ComputerKeyboardKey |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 273-273 | SpecialComputerKeyboardKey e' uma sub-classe de ComputerKeyboardKey |