Beth definability theorem

GPTKB entity