axiom of empty set

GPTKB entity