axiom of separation

GPTKB entity