circumscription (logic)

GPTKB entity
AI-created image of circumscription (logic)
AI-created image