HOL4

GPTKB entity