To export to RIB, turn on RenderMan RIS ROP's Driver: Disk File.

When you select Render to Disk, it will output a RIB file.