Attached Link: https://renderman.pixar.com/products/whatsrenderman/index.htm

*"RenderMan is also an industry standard interface specification for photorealistic renderers"*

Near the bottom of the page.  I guess it's the difference between RenderMan with the little registered symbol and without. ;)  But yeah, I mostly assume people mean the pixar one when they say that.