An aggregate is continuous if it has only smaller parts which are continuous as well; in other words, no proper parts are atoms.
(=> (_Continuous ?A ?B) (Not (Exists (?Y) (And (_Atom ?Y True) (Proper-Part-Of ?Y ?A)))))