No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1356-1356 |
SingleKeyPress e' disjunto 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 1285-1285 |
ControlKeyHoldDown 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 |
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 1255-1255 |
|