Kleene's O

GPTKB entity