Major premise

In a standard-form categorical syllogism, the premise that contains the major term. It is the premise that appears first. (See also Categorical syllogism and Standard form.)