closed graph theorem

GPTKB entity