Gödel logic

GPTKB entity