Axiom schema

GPTKB entity