axiom schema of separation

GPTKB entity