Subset Axiom Schema

GPTKB entity