Blueberry, that falls under #1.
synthboy, I'm pretty sure the way it works is the mine must be worked. Every mine that is being worked has something like a 1/10,000 chance of popping a resource. The only exception is if a resource is already present but can't be seen (like you can't pop gems in a hill that will eventually yield coal).