No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1254-1254 | KeyHoldDown e' uma sub-classe de KeyboardAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1265-1265 | ShiftKeyHoldDown e' uma sub-classe de KeyHoldDown |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1285-1285 | ControlKeyHoldDown e' uma sub-classe de KeyHoldDown |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1306-1306 | AltKeyHoldDown e' uma sub-classe de KeyHoldDown |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1329-1329 | FunctionKeyHoldDown e' uma sub-classe de KeyHoldDown |