The probability that one hole has 2 pigeons is 1.
Surely it's the probablity of a particular hole has 2 that is 1/7, which is nothing directly related to the Pigeon Hole Principle.
If by definition you mean a more formal statement of the Principle then it would be hard to find anything better than what has already been said. It basically goes as follows:
If we put N+1 pigeons in N pigeon-holes, then some pigeon-hole contains at least two pigeons.
The statment doesn't say anthing about needing to put at least one pigeon in each hole, but just that if you have more pigeons than holes and randomly place all the pigeons in a hole, then there will be at least one hole with at least 2 pigeons.