Tarski–Vaught test

GPTKB entity