dl#non-empty__nonempty__NEP  such a type "necessarily" has at least one instance
  supertype:  class__clas (sumo)  classes differ from sets in three important respects: 1) classes are not assumed to be extensional, i.e. distinct classes might well have exactly the same instances, 2) classes typically have an associated `condition' that determines the instances of the class, e.g., the condition `human' determines the "class of humans" (note that some classes might satisfy their own condition (e.g., the "class of abstract things" is "abstract") and hence be instances of themselves), 3) the instances of a class may occur only once within the class, i.e. a class cannot contain duplicate instances
  subtype:  strongly_non-empty_perdurant

No statement uses or specializes non-empty; click here to add one.