The official definition for butter is that it must have at least 80% of butterfat, so this property is enough to define the butters.
+
The official definition for butter is that it must have at least 80% of butterfat, so this property is enough to define the butters. It might be necessary to add other type of axioms.