Relation _POLYCYCLIC

Arity: 2
Domain: Chemical
Subrelation-Of: Physical-property
Axioms:
(=> (_Polycyclic ?A ?B)
    (Exists (?Y)
            (And (Atomic-Unit ?B)
                 (_Pair ?B True)
                 (_Atomic-Chain ?B True)
                 (Component ?A ?B))))