circumscription (logic)

GPTKB entity