The F13-F24 keys do not send unique scancodes. They send shifted scancodes. F13, for example, is simply Shift-F1, and so on to F24 which sends Shift-F12. Real terminal keyboards have unique scancodes for all of the F keys, and these don't. Some people don't like this. But, since they are simply shifted scancodes, they should work through a PS/2<->USB adapter.
In Windows, I use AutoHotkey with this keyboard and it's a great combo.