Covering Axiom Question

Greetings,Is it possible to create a covering axiom such that any instances
of the covered class must be a direct instance of one of the covering
classes?Such a structure would be analogous to the "abstract super class"
pattern popular in some O-O programming and modeling languages.
TIA,
Kevin

-- 
Kevin P. Tyson
Kevin.Tyson@gmail.com