Needless nitpicking is needless nitpicking. If we take the exact definition, the lists would only consist of the Jaguar, tiger subspecies, leopard subspecies, and lion subspecoes. We all figured out what the OP meant, ergo, it doesn't matter what the "literal" definition is.I think some people here need a refresher on what a “big cat” is.
Big cats are cats in the genus Panthera (panthers). This contains lions, tigers, jaguars, leopards, and snow leopards. Their closest reative is the clouded leopard.