Galois connection

GPTKB entity