Dave,
I received a PA700 vs PA1000 comparison sheet from Korg USA. I am copying and pasting the exact wording below. If It doesn't have the semi weighted keys than they've made a typo, but I don't think so. I will know soon enough. I should receive my 1000 hopefully by the end of Sept or beginning of October

Pa1000

61 semi–weighted keys (C2 – C7) with Velocity and Aftertouch
2 x that of Pa700
"Yes (For the Audio signal from Audio Input)
Full sample edit for imported/existing samples"
300 MB (Linear) 600 MB (w/Compression)
"Yes: TC Helicon® Three-parts Harmonizer
Double, De-esser"
"> 420 (TBD) preloaded Styles, freely reconfigurable
1,152 user locations including the User/Direct banks
Eight Style tracks, 4 Keyboard Sets, 4 Pads and one Style Setting per Style
Guitar Track 2 mode, Parallel and Fixed NTT Style Record
with Step Record, Track and Event Edit functions
"
"XDS Crossfade Dual Player (MIDI, KAR, MP3+lyrics, MP3+G)
with separate Select, Start/Stop, Home, Rewind and
Fast Forward controls – X-Fader Balance control
Lyrics, Score and Marker can be displayed on screen
And external video monitor
Jukebox function"
"Double: MP3 Player and MP3 Recorder
Record MP3 files (even playing another MP3 – overdub)
Real Time Transpose (+6/-5 semitones)
Tempo change (±30%)"
"2 Host (1 front, 1 rear) - 1 Device
Supported protocols: Midi, Mass storage"