The term 'no', as in 'no mammal is a reptile' is known as a quantifier, i.e. a term that indicates what proportion of a collection is supposed to have some property, and 'no' means that every element of the collection lacks the property.

Accordingly, the rules for 'no' are generally taken to be covered by 'every' prefixed to a negated formula: 'No x is F' is rendered as 'Every x is not F' or as 'It is not true some x is F'