1. We measured the body sizes (weights or lengths) of animal species found in the food webs of natural communities. In c. 90% of the feeding links among the animal species with known sizes, a larger predator consumes a smaller prey. 2. Larger predators eat prey with a wider range of body sizes than do smaller predators. The geometric mean predator size increases with the size of prey. The increase in geometric mean predator size is less than proportional to the increase in prey size (i.e. has a slope less than 1 on log-log coordinates). 3. The geometric mean sizes of prey and predators increase as the habitat of webs changes from aquatic to terrestrial to coastal to marine. Within each type of habitat, mean prey sizes are always less than mean predator sizes, and prey and predator sizes are always positively correlated. 4. Feeding relations order the metabolic types of organisms from invertebrate to vertebrate ectotherm to vertebrate endotherm. Organisms commonly eat other organisms with the same or lower metabolic type, but (with very rare exceptions) organisms do not eat other organisms with a higher metabolic type. Mean sizes of prey increase as the metabolic type of prey changes from invertebrate to vertebrate ectotherm to vertebrate endotherm, but the same does not hold true for predators. 5. Prey and predator sizes are positively correlated in links from invertebrate prey to invertebrate predators. In links with other combinations of prey and predator metabolic types, the correlation between prey and predator body sizes is rarely large when it is positive, and in some cases is even negative. 6. Species sizes are roughly log-normally distributed. 7. Body size offers a good (though not perfect) interpretation of the ordering of animal species assumed in the cascade model, a stochastic model of food web structure. When body size is taken as the physical interpretation of the ordering assumed in the cascade model, and when the body sizes of different animal species are taken as log-normally distributed, many of the empirical findings can be explained in terms of the cascade model.