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.