No but as one of the most popular domain hosting control panels around there would be more sites using that than any of the alternative places that involve parking domains. There are probably millions of times as many domains using cPanel as are using Sedo.
All of the definitions you have quoted are just a subset of the one I mentioned anyway. Sedo of course defines the subset of parked domains that they are actively providing the service for - that group of parked domains where you specifically park the domain on a third party ad service rather than parking it on your own hosting.
As I said before - all parking a domain means is pointing it at the same place as another domain. Since part of what the OP asked was whether particular donains were parked or not I the definition of what a parked domain actually is so thet they can work it out for themselves.
Of course all of the domains that you said are parked domains are in fact parked since you have decided to use the term only with regard to one small subset rather than its broader meaning.
That 100 best domain names site looks like they either copied the info from Wikipedia or that Wikipedia copied the info from them. Both are secondary sources. In the case of Sedo they specialise in that particular subset of domain parking and so have no reason to mention that it is only a subset of what domain parking means.
Whenever two or more domains point to the same folder without using a redirect it means that all but one of those domains have been parked.
For that matter most of the domain parking ad services are probably using cPanel as the control panel for their hosting and therefore use the cPanel parked domain option to set up all of the domains parked with them.
And to bring it back to the point I was trying to make in my original reply - you can't tell by looking at a web page whether it is parked or not unless there is some text in the page to tell you.